A friendly introduction to mathematical logic.

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