Home›Books›Advanced logic for applicationsAdvanced logic for applicationsby Richard E. GrandyNo description available.Symbolic and mathematical LogicLogic, symbolic and mathematical