Skip to content

Logical methods

by Anil Nerode, John N. Crossley

Cover of Logical methods

No description available.

Logic programmingSymbolic and mathematical LogicLogic, symbolic and mathematical