Advanced logic for applications /

Bibliographic Details

Main Author:	Grandy, Richard E.
Format:	Book
Language:	English
Published:	Dordrecht, Holland ; Boston : D. Reidel, [1977]
Series:	Synthese library ; v. 110
Subjects:	Logic, Symbolic and mathematical.