Advanced logic for applications

Podrobná bibliografie
Hlavní autor:	Grandy, Richard E.
Médium:	Kniha
Jazyk:	English
Vydáno:	Dordrecht D. Reidel c1979.
Edice:	Synthese library v. 110
Témata:	Logic, Symbolic and mathematical.