Advanced logic for applications

Xehetasun bibliografikoak
Egile nagusia:	Grandy, Richard E.
Formatua:	Liburua
Hizkuntza:	English
Argitaratua:	Dordrecht D. Reidel c1979.
Saila:	Synthese library v. 110
Gaiak:	Logic, Symbolic and mathematical.