Skip to main content

Computational logic and proof theory

0.0
Automatic theorem provingSymbolic and mathematical Logic

ISBN

0387571841

Computational logic and proof theory is a automatic theorem proving, symbolic and mathematical logic book by Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic).

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

About the Author

Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic) is the author of Computational logic and proof theory. Browse their full catalog on Booklogr.

Editions & Formats

Reviews

No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.

Sign in Sign in to write a review

Frequently Asked Questions

What genre is Computational logic and proof theory?+

Computational logic and proof theory is a Automatic theorem proving, Symbolic and mathematical Logic book.

Who wrote Computational logic and proof theory?+

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