ISBN.nu logo
isbn.nu
search for books and compare prices
Search >
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
Cover for 9780387571843 Cover for 9783540571841 Cover for 9783540612087 Cover for 9780792343844 Cover for 9780792343837 Cover for 9783540633853 Cover for 9780792360094 Cover for 9789048153367 Cover for 9789400708396 Cover for 9788847018839 Cover for 9788847023604
2
cover image for 9783540571841
Product Description: 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. The aim of this meeting wasto bring together researchers working in the fields of computational logic and proof theory...read more
By Daniele Mundici (editor)
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
cover image for 9783540612087
Product Description: 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. The 18 full revised papers included together with two invited papers present state-of-the-art results in this dynamic area of research...read more
By P. Miglioli, Pierangelo Miglioli (editor), Daniele Mundici (editor) and Mario Ornaghi (editor)
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
cover image for 9780792343844
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
By Maria Luisa Dalla Chiara (editor), Kees Doets (editor), Daniele Mundici (editor) and Johan Van Benthem (editor)
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
By Maria Luisa Dalla Chiara (editor), Kees Doets (editor), Daniele Mundici (editor) and Johan Van Benthem (editor)
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
cover image for 9780792343837
Edition summary (click for prices and details):

Hardcover:

9780792343837 | Kluwer Academic Pub, April 1, 1997, cover price $388.00

7
cover image for 9783540633853
Product Description: 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. The volume presents 20 revised full papers selected from 38 submitted papers...read more (view table of contents, read Amazon.com's description)
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
cover image for 9789048153367
Product Description: 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...read more
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
cover image for 9789400708396
Product Description: This is a continuation of Vol. 7 of Trends in Logic. It wil cover the wealth of recent developments of Lukasiewicz Logic and their algebras (Chang MV-algebras), with particular reference to (de Finetti) coherent evaluation of continuously valued events, (Renyi) conditionals for such events, related algorithms...read more
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
cover image for 9788847018839
Product Description: 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...read more
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
cover image for 9788847023604
Product Description: This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic...read more
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