Non abbiamo ancora una biografia di Alexander Leitsch.
Pubblicato in Inglese
The Resolution Calculus
2012
Methods of Cut-Elimination
2013
Automated reasoning
2003
Computational logic and proof theory
1993
Automated Model Building
2004
Otium
