Logic for computer science

Dades bibliogràfiques
Autor principal:	Reeves, Steve 1957-
Altres autors:	Clarke, Michael 1940-
Format:	Llibre
Idioma:	English
Publicat:	Wokingham, England Addison-Wesley c1990.
Matèries:	Logic, Symbolic and mathematical.