A friendly introduction to mathematical logic.

Dades bibliogràfiques
Autor principal:	Leary, Christopher C.
Format:	Llibre
Idioma:	English
Publicat:	Upper Saddle River, New Jersey Prentice Hall c2000.
Matèries:	Computer logic. Logic, Symbolic and mathematical.