Title: A tour through mathematical logic
First published: 2005
Subjects: Abstract Algebra, Algebra, Abstract, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: QA9 .W7483 2005