Computational Logic and Proof Theory Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings Gottlob Georg Heftet / 1993 / Engelsk
Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings Gottlob Georg Heftet / 1997 / Engelsk
Theorem Proving with Analytic Tableaux and Related Methods 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings Miglioli Pierangelo Heftet / 1996 / Engelsk
Structures and Norms in Science Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 Dalla Chiara Maria Luisa Heftet / 2010 / Engelsk
Logic and Scientific Methods Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 Dalla Chiara Maria Luisa Innbundet / 1996 / Engelsk
Structures and Norms in Science Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 Dalla Chiara Maria Luisa Innbundet / 1996 / Engelsk
Logic and Scientific Methods Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 Dalla Chiara Maria Luisa Heftet / 2010 / Engelsk
Structures and Norms in Science Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 Dalla Chiara Maria Luisa Annet / 1996 / Engelsk
