Advanced logic for applications

Bibliografiset tiedot
Päätekijä:	Grandy, Richard E.
Aineistotyyppi:	Kirja
Kieli:	English
Julkaistu:	Dordrecht D. Reidel c1979.
Sarja:	Synthese library v. 110
Aiheet:	Logic, Symbolic and mathematical.