BooksPrice.com

book price comparison

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
   

compare price



Logic: a Brief Course (UNITEXT)

Mundici, Daniele  

Springer /2012-02-02 Paperback / 141 Pages
isbn-10: 8847023602 / isbn-13: 9788847023604
   

compare price



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
   

compare price



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
   

compare price



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
   

compare price



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
   

compare price



Logica: Metodo Breve (UNITEXT) (Italian Edition)

Mundici, Daniele  

Springer /2011-02-10 Paperback / 144 Pages
isbn-10: 8847018838 / isbn-13: 9788847018839
   

compare price



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
   

compare price