APA (7. basım) Alıntı

Kurt Gödel Colloquium Brno, Czech Republic, Kurt Gödel Society, Gottlob, G., Leitsch, A., & Mundici, D. (1993). Computational logic and proof theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings. Springer-Verlag.

Chicago Style (17. basım) Atıf

Kurt Gödel Colloquium Brno, Czech Republic, Kurt Gödel Society, G. Gottlob, Alexander Leitsch, ve Daniele Mundici. Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : Proceedings. Berlin ; New York: Springer-Verlag, 1993.

MLA (8th ed.) Atıf

Kurt Gödel Colloquium Brno, Czech Republic, et al. Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : Proceedings. Springer-Verlag, 1993.