Advanced logic for applications - Grandy, Richard E. (Dordrecht D. Reidel, 1979)
Keywords: Logic, Symbolic and mathematical