Clicky

The resolution calculus by Alexander Leitsch and similar books you'll love - Bookscovery

Home > Authors > Alexander Leitsch > The resolution calculus

Buy at: Bookshop.org Amazon

The resolution calculus

Alexander Leitsch

See on goodreads

Recent activity

Rate this book to see your activity here.

2 Books Similar to The resolution calculus by Alexander Leitsch

Bookscovery readers who liked The resolution calculus also like Automated Model Building, and Computational logic and proof theory. How many of these have you read?

Automated Model Building by Ricardo Caferra

Cover of Automated Model Building
Buy this book at:
Bookshop.org Amazon

Computational logic and proof theory by Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)

Cover of Computational logic and proof theory
Buy this book at:
Bookshop.org Amazon

Comments and reviews of The resolution calculus

Please sign in to leave a comment