6 works on record
Sprache, Beweis und Logik. Band I
Sprache, Beweis und Logik. Band 2
Language proof and logic
Logical Reasoning with Diagrams and Sentences
Analytical Reasoning
2004
Liar
1987