Computational Logic and Proof Theory‚ Third Kurt Gödel Colloquium‚ KGC'93‚ Brno‚ Czech Republic‚ August 24−27‚ 1993‚ Proceedings
Details
| Book Title |
Kurt Gödel Colloquium |
| Editor |
Georg Gottlob and Alexander Leitsch and Daniele Mundici |
| ISBN |
3−540−57184−1 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
713 |
| Year |
1993 |
Links
Related pages
|
People |