Alexander Leitsch

Alexander Leitsch is the author of "The Resolution Calculus", "Computational Logic and Proof Theory", "Methods of Cut-Elimination" and "Automated Model Building".

Books by Alexander Leitsch

Computational Log...
Gottlob Georg
Electronic book text: $109.00

Methods of Cut-El...
Baaz, Matthias
Paperback: $109.99

Methods of Cut-El...
Baaz, Matthias
Electronic book text: $159.00

Computational Log...
Odel, Kurt G., Soci...
Paperback: $54.99