Sell, buy or rent Daniele Mundici textbooks

Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 (Synthese Library, 260)

by Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem
ISBN-13: 9780792343844
ISBN-10: 0792343840
Edition: 1997
Publication date: 1996
Publisher: Springer
Format: Hardcover 512 pages

Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 (Synthese Library) (v. 2)

by Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem
ISBN-13: 9780792343851
ISBN-10: 0792343859
Edition: 1997
Publication date: 1996
Publisher: Springer
Format: Paperback 1064 pages

Algebraic Foundations of Many-Valued Reasoning (Trends in Logic, 7)

by R.L. Cignoli, Itala M. d'Ottaviano, Daniele Mundici
ISBN-13: 9789048153367
ISBN-10: 9048153360
Edition: Softcover reprint of hardcover 1st ed. 2000
Publication date: 2010
Publisher: Springer
Format: Paperback 242 pages

Logica: Metodo Breve (UNITEXT) (Italian Edition)

by Daniele Mundici
ISBN-13: 9788847018839
ISBN-10: 8847018838
Edition: 2011
Publisher: Springer
Format: Paperback 144 pages

Algebraic Foundations of Many-Valued Reasoning (Trends in Logic, 7)

by R.L. Cignoli, Itala M. d'Ottaviano, Daniele Mundici
ISBN-13: 9780792360094
ISBN-10: 0792360095
Edition: 2000
Publication date: 1999
Publisher: Springer
Format: Hardcover 242 pages

Logic: a Brief Course (UNITEXT)

by Daniele Mundici
ISBN-13: 9788847023604
ISBN-10: 8847023602
Edition: 2012
Publisher: Springer
Format: Paperback 141 pages

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)

by Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi
ISBN-13: 9783540612087
ISBN-10: 3540612084
Edition: 1996
Publisher: Springer
Format: Paperback 348 pages

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)

by Georg Gottlob, Alexander Leitsch, Daniele Mundici
ISBN-13: 9783540633853
ISBN-10: 3540633855
Edition: 1997
Publisher: Springer
Format: Paperback 364 pages