Advanced logic for applications

Detalles Bibliográficos
Autor Principal:	Grandy, Richard E.
Formato:	Libro
Idioma:	English
Publicado:	Dordrecht D. Reidel c1979.
Series:	Synthese library v. 110
Subjects:	Logic, Symbolic and mathematical.