7 books • 4 series
Logical Reasoning with Diagrams and Sentences (CSLI - Lecture Notes) (CSLI Lecture Notes (CSLI- CHUP))
Sprache, Beweis Und Logik. Band II
Sprache, Beweis Und Logik. Band I
Language, Proof and Logic
Hyperproof (Center for the Study of Language and Information Publication Lecture Notes, #42)
The Concept of Logical Consequence (The David Hume)
The Liar