by Dave Barker-Plummer
No reviews yet. Be the first!
Diagrammatic representation and inferenc...
Words, proofs, and diagrams
Tarski's world
Language, proof, and logic
The language of first-order logic
Tarski's world 3.0