A friendly introduction to mathematical logic

Podrobná bibliografie
Hlavní autor:	Leary, Christopher C.
Médium:	Kniha
Jazyk:	English
Vydáno:	Upper Saddle River, N.J. Prentice Hall c2000.
Témata:	Logic, symbolic and mathematical. Computer logic.