@proceedings{DBLP:conf/kgc/1993,
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Computational Logic and Proof Theory, Third Kurt G{\"o}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27,
1993, Proceedings},
booktitle = {Kurt G{\"o}del Colloquium},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {713},
year = {1993},
isbn = {3-540-57184-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2007-10-30 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
