Computational logic and proof theory : 5th Kurt Gödel Colloqui[u]m, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings
Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)
Bok Engelsk 1997 Kurt Gödel Colloquium
| Utgitt | Berlin : Springer , c1997
|
|---|---|
| Omfang | VIII, 348 s. : ill.
|
| Emner | |
| ISBN | 3540633855
|
