Title: A friendly introduction to mathematical logic
First published: 2000
Subjects: Computer logic, Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Logic, symbolic and mathematical
LC classification: QA76.9.L63 L43 2000