Formal Logic
Book Series
by Crispin Wright
Latest:
2006
Book 1
Formel Logik
by Crispin Wright, Stephen Read, Lars Bo Gundersen