Home›Books›Logical methodsLogical methodsby Anil Nerode, John N. CrossleyNo description available.Logic programmingSymbolic and mathematical LogicLogic, symbolic and mathematical