Computational logic and proof theoryKurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)
Computational logic and proof theory
Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic), Georg Gottlob, Alexander Leitsch · 1993
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
About the book
"The Third Kurt G
Book details
- Year
- 1993
- Language
- English
- Publisher
- Springer
- Editions
- 1
- Pages
- 359
- ISBN
- 9780387571843
Data source: Wikidata