An edition of Computational logic and proof theory
(1993)
Computational Logic and Proof Theory
Third Kurt Godel Colloquium, Kgc'93, Brno, Czech Republic, August 24-27, 1993 Proceedings (Lecture Notes in Computer Science)
by Kurt Gödel Colloquium (3rd 1993 Brno, C..., Georg Gottlob, and Alexander Leitsch
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Showing 2 featured editions. View all 2 editions?
| Edition | Availability |
|---|---|
1
Computational logic and proof theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
1993, Springer-Verlag
in English
0387571841 9780387571843
|
zzzz
Libraries near you:
WorldCat
|
2
Computational Logic and Proof Theory: Third Kurt Godel Colloquium, Kgc'93, Brno, Czech Republic, August 24-27, 1993 Proceedings (Lecture Notes in Computer Science)
September 1993, Springer
in English
0387571841 9780387571843
|
aaaa
Libraries near you:
WorldCat
|
Book Details
ID Numbers
Community Reviews (0)
Feedback?Lists
See All
History
- Created April 29, 2008
- 5 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| July 30, 2019 | Edited by MARC Bot | associate edition with work OL3907286W |
| April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
| April 16, 2010 | Edited by bgimpertBot | Added goodreads ID. |
| April 14, 2010 | Edited by Open Library Bot | Linked existing covers to the edition. |
| April 29, 2008 | Created by an anonymous user | Imported from amazon.com record |