We use cookies to improve your experience on this site. Learn more

Necessary (required) Required for the site to function. Cannot be disabled.

Analytics Help us understand how visitors use the site.

Search books

My Library
Sign in
Sign up

Browse Books by author Books by title Books by popularity

My Library Sign in Sign up

Search books

Home
Authors
Alexander Leitsch

Author

Alexander Leitsch

3 books in our library

All books by Alexander Leitsch

3 books

Automated Model Building

by Ricardo Caferra

Cover of Automated Model Building

Buy this book More books like Automated Model Building

The resolution calculus

by Alexander Leitsch

Cover of The resolution calculus

Buy this book More books like The resolution calculus

Computational logic and proof theory

by Georg Gottlob

Cover of Computational logic and proof theory

Buy this book More books like Computational logic and proof theory

Looking for another book by Alexander Leitsch? Search by title

We have 2 876 296 books in our database.

About Privacy Contact FAQ

Bookscovery is a participant in the Amazon Services LLC Associates Program and the Bookshop.org Affiliate Program, affiliate advertising programs designed to provide a means for sites to earn advertising fees by advertising and linking to the affiliate websites.

© 2026 bookscovery.com, Gareth James. Book data provided by Open Library.