Title: Essence of logic
First published: 1997
Subjects: Computer science, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: QA76 .K396 1997