Logic for mathematics and computer science

Detalhes bibliográficos
Autor principal:	Burris, Stanley
Formato:	Livro
Idioma:	English
Publicado em:	Upper Saddle River, N.J. Prentice Hall c1998.
Assuntos:	Logic, Symbolic and mathematical.