Mundici, Daniele books & textbook
Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 (Synthese Library)
Dalla Chiara, Maria Luisa Doets, Kees Mundici, Daniele van Benthem, Johan
Springer /2010-12-07 Paperback / 552 Pages
isbn-10: 9048147867 / isbn-13: 9789048147861
Logic: a Brief Course (UNITEXT)
Springer /2012-02-02 Paperback / 141 Pages
isbn-10: 8847023602 / isbn-13: 9788847023604
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Lecture Notes in Computer Science, 1289)
Gottlob, Georg Leitsch, Alexander Mundici, Daniele
Springer /1997-08-13 Paperback / 364 Pages
isbn-10: 3540633855 / isbn-13: 9783540633853
Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science, 713)
Gottlob, Georg Leitsch, Alexander Mundici, Daniele
Springer /1993-08-13 Paperback / 365 Pages
isbn-10: 3540571841 / isbn-13: 9783540571841
Algebraic Foundations of Many-Valued Reasoning (Trends in Logic)
Cignoli, R.L. d'Ottaviano, Itala M. Mundici, Daniele
Springer /2010-12-03 Paperback / 242 Pages
isbn-10: 9048153360 / isbn-13: 9789048153367
Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 (Synthese Library)
Dalla Chiara, Maria Luisa Doets, Kees Mundici, Daniele van Benthem, Johan
Springer /2010-12-09 Paperback / 512 Pages
isbn-10: 9048147875 / isbn-13: 9789048147878
Logica: Metodo Breve (UNITEXT) (Italian Edition)
Springer /2011-02-10 Paperback / 144 Pages
isbn-10: 8847018838 / isbn-13: 9788847018839
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. ... (Lecture Notes in Computer Science, 1071)
Miglioli, Pierangelo Moscato, Ugo Mundici, Daniele Ornaghi, Mario
Springer /1996-04-24 Paperback / 348 Pages
isbn-10: 3540612084 / isbn-13: 9783540612087