A friendly introduction to mathematical logic.

Detalhes bibliográficos
Autor principal:	Leary, Christopher C.
Formato:	Livro
Idioma:	English
Publicado em:	Upper Saddle River, New Jersey Prentice Hall c2000.
Assuntos:	Computer logic. Logic, Symbolic and mathematical.