Georg Gottlob, Alexander Leitsch, Daniele Mundici, editors, Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC 93, Brno, Czech Republic, August 24-27, 1993, Proceedings. Volume 713 of Lecture Notes in Computer Science, Springer, 1993.
Conference: kgc1993
@proceedings{kgc:1993, title = {Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC 93, Brno, Czech Republic, August 24-27, 1993, Proceedings}, year = {1993}, tags = {logic}, researchr = {https://researchr.org/publication/kgc%3A1993}, cites = {0}, citedby = {0}, booktitle = {Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC 93, Brno, Czech Republic, August 24-27, 1993, Proceedings}, conference = {kgc}, editor = {Georg Gottlob and Alexander Leitsch and Daniele Mundici}, volume = {713}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-57184-1}, }