A friendly introduction to mathematical logic

Bibliographische Detailangaben
1. Verfasser:	Leary, Christopher C.
Format:	Buch
Sprache:	English
Veröffentlicht:	Upper Saddle River, N.J. Prentice Hall c2000.
Schlagworte:	Logic, symbolic and mathematical. Computer logic.