Daniele Mundici - Böcker

Logic and Scientific Methods

Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Structures and Norms in Science

Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Algebraic Foundations of Many-Valued Reasoning

Algebraic Probabilistic Consistency

Boole, Łukasiewicz, de Finetti, Kolmogorov

Computational Logic and Proof Theory

Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings

Theorem Proving with Analytic Tableaux and Related Methods

5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings

Computational Logic and Proof Theory

5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings

Logica: Metodo Breve

Logic: a Brief Course

Logic and Scientific Methods

Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Structures and Norms in Science

Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995