Advanced logic for applications

Détails bibliographiques
Auteur principal:	Grandy, Richard E.
Format:	Livre
Langue:	English
Publié:	Dordrecht D. Reidel c1979.
Collection:	Synthese library v. 110
Sujets:	Logic, Symbolic and mathematical.