A friendly introduction to mathematical logic.

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Leary, Christopher C.
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Upper Saddle River, New Jersey Prentice Hall c2000.
Θέματα:	Computer logic. Logic, Symbolic and mathematical.