Title: Classical mathematical logic
First published: 2005
Subjects: Logic, symbolic and mathematical, Semantics (philosophy)
LC classification: QA