A friendly introduction to mathematical logic

Opis bibliograficzny
1. autor:	Leary, Christopher C.
Format:	Książka
Język:	English
Wydane:	Upper Saddle River, N.J. Prentice Hall c2000.
Hasła przedmiotowe:	Logic, symbolic and mathematical. Computer logic.