(1997). Computational logic and proof theory: 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25 - 29, 1997 ; proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25 - 29, 1997 ; Proceedings. Berlin [u.a.]: Springer, 1997.
MLA-Zitierstil (9. Ausg.)Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25 - 29, 1997 ; Proceedings. Springer, 1997.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.