Advanced logic for applications - Grandy, Richard E (Dordrecht : D. Reidel Publishing Company, 1977)
Includes indexes
Bibliography: p. 161-162
Keywords: Logic, Symbolic and mathematical