THE STRUCTURE OF PROOF: WITH LOGIC AND SET THEORY BY Michael O'leary HARDCOVER

Studies in the History of Mathematical Logic

Handbook of Practical Logic and Automated Reasoning by John Harrison: New

Computation and Proof Theory: Proceedings of the Logic Colloquium. Held in Aache

Computational Logic and Set Theory : Applying Formalized Logic to Analysis by...

The Logical Structure of Linguistic Theory by Noam Chomsky

Trends in Mathematics and Computational Intelligence, Hardcover by Cornejo, M...

Problems in Set Theory, Mathematical Logic and the Theory of ... - 9781461349570