-
1Computational Logic and Proof Theory [electronic resource] : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings / Computational Logic and Proof Theory [electronic resource] : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings /by Gottlob, Georg. editor., Leitsch, Alexander. editor., Mundici, Daniele. editor., SpringerLink (Online service)
Published 1997Texto bibliotecaCOLPOS -
2Computational Logic and Proof Theory [electronic resource] : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings / Computational Logic and Proof Theory [electronic resource] : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings /by Gottlob, Georg. editor., Leitsch, Alexander. editor., Mundici, Daniele. editor., SpringerLink (Online service)
Published 1993Texto bibliotecaCOLPOS -
3Computational Logic and Proof Theory [electronic resource] : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings / Computational Logic and Proof Theory [electronic resource] : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings /by Gottlob, Georg. editor., Leitsch, Alexander. editor., Mundici, Daniele. editor., SpringerLink (Online service)
Published 1993Texto bibliotecaCOLPOS