Logic for computer science

Detalhes bibliográficos
Autor principal:	Reeves, Steve 1957-
Outros Autores:	Clarke, Michael 1940-
Formato:	Livro
Idioma:	English
Publicado em:	Wokingham, England Addison-Wesley c1990.
Colecção:	International computer science series
Assuntos:	Logic, Symbolic and mathematical. Computer systems > Programming > Applications of mathematical logic.