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
|