Computational Logic and Proof Theory Third Kurt Gödel Colloquium, Kgc'93, Brno, Czech Republic, August 1993 : Proceedings
| Publisher: | Springer-Verlag |
| Published In: | 1993 |
| ISBN-10: | 0387571841 |
| ISBN-13: | 9780387571843 |
| Weight: | 200 gms |
| Pages: | pp. xi + 348, Illus. |
The Title "Computational Logic and Proof Theory Third Kurt Gödel Colloquium, Kgc'93, Brno, Czech Republic, August 1993 : Proceedings" was published in the year 1993. This book has total of pp. xi + 348 (Pages). The publisher of this title is Springer-Verlag. Computational Logic and Proof Theory Third Kurt Gödel Colloquium, Kgc'93, Brno, Czech Republic, August 1993 : Proceedings is currently Not Available with us.You can enquire about this book and we will let you know the availability.