Title: Logic and structure
First published: 2003
Subjects: Symbolic and mathematical Logic
LC classification: QA76