ISBN 9783540571841 books & textbook
Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science, 713)
Gottlob, Georg Leitsch, Alexander Mundici, Daniele
Springer /1993-08-13 Paperback / 365 Pages
isbn-10: 3540571841 / isbn-13: 9783540571841
