A friendly introduction to mathematical logic

Bibliografische gegevens
Hoofdauteur:	Leary, Christopher C.
Formaat:	Boek
Taal:	English
Gepubliceerd in:	Upper Saddle River, N.J. Prentice Hall c2000.
Onderwerpen:	Logic, symbolic and mathematical. Computer logic.