Kurt Gödel Colloquium :Brno, Gottlob, G., Leitsch, A., & Mundici, D. Computational logic and proof theory: Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings. Springer.
Style de citation Chicago (17e éd.)Kurt Gödel Colloquium :Brno, Georg Gottlob, Alexander Leitsch, et Daniele Mundici. Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : Proceedings. Berlin [etc.]: Springer.
Style de citation MLA (8e éd.)Kurt Gödel Colloquium :Brno, et al. Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : Proceedings. Springer.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.