Daniele Mundici has written 11 work(s)
Search for other authors with the same name
displaying 1 to 11 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
1
Edition summary (click for prices and details):
Paperback:
9780387571843 | Springer Verlag, September 1, 1993, cover price $55.95
2
Edition summary (click for prices and details):
Paperback:
9783540571841 | Springer Verlag, September 10, 1993, cover price $55.95 | About this edition: The Third Kurt G|del Symposium, KGC'93, held in Brno, Czech Republic, August1993, is the third in a series of biennial symposia on logic, theoretical computer science, and philosophy of mathematics.
3
Edition summary (click for prices and details):
Paperback:
9783540612087 | Springer Verlag, June 1, 1996, cover price $74.95 | About this edition: This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related Methods, TABLEAUX '96, held in Terrasini near Palermo, Italy, in May 1996.
4
Edition summary (click for prices and details):
Hardcover:
9780792343844 | Kluwer Academic Pub, December 1, 1996, cover price $360.00 | About this edition: This book gives a state-of-the-art survey of current research in logic and philosophy of science, as viewed by invited speakers selected by the most prestigious international organization in the field.
5
Product Description: This book gives a state-of-the-art survey of current research in logic and philosophy of science, as viewed by invited speakers selected by the most prestigious international organization in the field. In particular, it gives a coherent picture of foundational research into the various sciences, both natural and social...read more
Edition summary (click for prices and details):
Hardcover:
9780792343851 | Kluwer Academic Pub, October 1, 2002, cover price $589.00 | About this edition: This book gives a state-of-the-art survey of current research in logic and philosophy of science, as viewed by invited speakers selected by the most prestigious international organization in the field.
6
Edition summary (click for prices and details):
Hardcover:
9780792343837 | Kluwer Academic Pub, April 1, 1997, cover price $388.00
7
Edition summary (click for prices and details):
Paperback:
9783540633853 | Springer Verlag, September 1, 1997, cover price $79.95 | About this edition: This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997.
8
Edition summary (click for prices and details):
Hardcover:
9780792360094 | Kluwer Academic Pub, December 1, 1999, cover price $169.00 | About this edition: This unique textbook states and proves all the major theorems of many-valued propositional logic and provides the reader with the most recent developments and trends, including applications to adaptive error-correcting binary search.
Paperback:
9789048153367 | Springer Verlag, December 2, 2010, cover price $169.00 | About this edition: This unique textbook states and proves all the major theorems of many-valued propositional logic and provides the reader with the most recent developments and trends, including applications to adaptive error-correcting binary search.
9
Edition summary (click for prices and details):
Hardcover:
9789400708396 | Springer Verlag, July 1, 2011, cover price $139.00 | About this edition: This is a continuation of Vol.
10
Edition summary (click for prices and details):
Paperback:
9788847018839 | Springer Verlag, December 18, 2011, cover price $39.95 | About this edition: Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa.
11
Edition summary (click for prices and details):
Paperback:
9788847023604 | 1 edition (Springer Verlag, July 30, 2012), cover price $49.95 | About this edition: This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic.
displaying 1 to 11 |
at end