Clicky

Computational logic and proof theory by Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic) and similar books you'll love - Bookscovery

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

Buy at: Bookshop.org Amazon

See on goodreads

Recent activity

Rate this book to see your activity here.

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

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

Reasoning Web. Semantic Interoperability on the Web by Giovambattista Ianni

Cover of Reasoning Web. Semantic Interoperability on the Web
Buy this book at:
Bookshop.org Amazon

Automated Model Building by Ricardo Caferra

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

The resolution calculus by Alexander Leitsch

Cover of The resolution calculus
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Computational logic and proof theory

Please sign in to leave a comment