Advanced logic for applications
Grandy, Richard E.
Dordrecht, Holland Boston D. Reidel Pub. Co
c1977
Bibliography: p. [161]-162
Includes indexes
Logic, Symbolic and mathematical.