A friendly introduction to mathematical logic

Bibliografiset tiedot
Päätekijä:	Leary, Christopher C.
Aineistotyyppi:	Kirja
Kieli:	English
Julkaistu:	Upper Saddle River, N.J. Prentice Hall c2000.
Aiheet:	Logic, symbolic and mathematical. Computer logic.