Daniele Mundici – författare
Visar alla böcker från författaren Daniele Mundici. Handla med fri frakt och snabb leverans.
19 produkter
Logic and Scientific Methods
Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
Av Maria Luisa Dalla Chiara, Kees Doets m. fl.
Inbunden, 1996
2188 kr
Lägg i varukorg
This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. The Congress was held under the auspices of the International Union of …
Structures and Norms in Science
Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
Av Maria Luisa Dalla Chiara, Kees Doets m. fl.
Inbunden, 1996
2188 kr
Lägg i varukorg
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, …
Structures and Norms in Science
Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
Av Maria Luisa Dalla Chiara, Kees Doets m. fl.
1996
5167 kr
Lägg i varukorg
This is the second of two volumes comprising the papers submitted for publication by the invited participants to the 10th International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. The Congress was held under the auspices of the International Union of …
Algebraic Foundations of Many-Valued Reasoning
Av R.L. Cignoli, Itala M. d'Ottaviano m. fl.
Inbunden, 1999
1098 kr
Lägg i varukorg
The aim of this book is to give self-contained proofs of all basic results concerning the infinite-valued proposition al calculus of Lukasiewicz and its algebras, Chang's MV -algebras. This book is for self-study: with the possible exception of Chapter 9 on advanced topics, the only prere- quisite …
Algebraic Probabilistic Consistency
Boole, Łukasiewicz, de Finetti, Kolmogorov
Inbunden, 2026
1207 kr
Lägg i varukorg
This book investigates the foundations of probability theory and logic, intertwining historical insights with modern interpretations. It explores the evolution of probability theory from Boole’s seminal question on the very object of probability, through de Finetti’s finitely additive probability …
Algebraic Probabilistic Consistency
Boole, Lukasiewicz, de Finetti, Kolmogorov
E-bok, 2026
1622 kr
Lägg i varukorg
This book investigates the foundations of probability theory and logic, intertwining historical insights with modern interpretations. It explores the evolution of probability theory from Boole’s seminal question on the very object of probability, through de Finetti’s finitely additive probability …
Computational Logic and Proof Theory
Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings
Av Georg Gottlob, Alexander Leitsch m. fl.
Häftad, 1993
552 kr
Lägg i varukorg
The Third Kurt G|del Symposium, KGC'93, held in Brno, CzechRepublic, August1993, is the third in a series of biennialsymposia on logic, theoretical computer science, andphilosophy of mathematics. The aim of this meeting wastobring together researchers working in the fields ofcomputational logic and …
Theorem Proving with Analytic Tableaux and Related Methods
5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings
Av Pierangelo Miglioli, Ugo Moscato m. fl.
Häftad, 1996
551 kr
Lägg i varukorg
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 …
Computational Logic and Proof Theory
5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
Av Georg Gottlob, Alexander Leitsch m. fl.
Häftad, 1997
551 kr
Lägg i varukorg
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. Also included are seven invited contributions by …
Logica: Metodo Breve
Häftad, 2011
312 kr
Lägg i varukorg
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. Per …
Logica: Metodo Breve
E-bok, 2011
245 kr
Lägg i varukorg
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. Per …
Logic: a Brief Course
Häftad, 2012
551 kr
Lägg i varukorg
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 …
Logic: a Brief Course
E-bok, 2012
734 kr
Lägg i varukorg
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 …
Logic and Scientific Methods
Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
Av Maria Luisa Dalla Chiara, Kees Doets m. fl.
Häftad, 2010
2188 kr
Lägg i varukorg
This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. The Congress was held under the auspices of the International Union of …
Structures and Norms in Science
Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
Av Maria Luisa Dalla Chiara, Kees Doets m. fl.
Häftad, 2010
2188 kr
Lägg i varukorg
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, …
Algebraic Foundations of Many-Valued Reasoning
Av R.L. Cignoli, Itala M. d'Ottaviano m. fl.
Häftad, 2010
1098 kr
Lägg i varukorg
The aim of this book is to give self-contained proofs of all basic results concerning the infinite-valued proposition al calculus of Lukasiewicz and its algebras, Chang's MV -algebras. This book is for self-study: with the possible exception of Chapter 9 on advanced topics, the only prere- quisite …
Algebraic Foundations of Many-Valued Reasoning
Av Daniele Mundici, Itala M. d'Ottaviano m. fl.
E-bok, 2013
1459 kr
Lägg i varukorg
Logic and Scientific Methods
Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
Av Johan van Benthem, Daniele Mundici m. fl.
E-bok, 2013
2925 kr
Lägg i varukorg
This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. The Congress was held under the auspices of the International Union of …
Structures and Norms in Science
Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
Av Johan van Benthem, Daniele Mundici m. fl.
E-bok, 2013
2917 kr
Lägg i varukorg
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, …
