Advanced logic for applications

Dades bibliogràfiques
Autor principal:	Grandy, Richard E.
Format:	Llibre
Idioma:	English
Publicat:	Dordrecht D. Reidel c1979.
Col·lecció:	Synthese library v. 110
Matèries:	Logic, Symbolic and mathematical.