Advanced logic for applications

Bibliographic Details
Main Author:	Grandy, Richard E.
Format:	Book
Language:	English
Published:	Dordrecht D. Reidel c1979.
Series:	Synthese library v. 110
Subjects:	Logic, Symbolic and mathematical.