Advanced logic for applications

Dettagli Bibliografici
Autore principale:	Grandy, Richard E.
Natura:	Libro
Lingua:	English
Pubblicazione:	Dordrecht D. Reidel c1979.
Serie:	Synthese library v. 110
Soggetti:	Logic, Symbolic and mathematical.