Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)

All books by Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)

1 book

Computational logic and proof theory

by Georg Gottlob

I liked it

Didn't like it

Want to read

✕ Not interested

Reading

• Currently reading
• Read

Review

Buy this book More books like Computational logic and proof theory

Looking for another book by Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)? Search by title