Logic and Scientific Methods
Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem
Inbunden, 1996
2 799 kr
Del 50 i serien UNITEXT
Logica: Metodo Breve
Häftad, Italienska, 2011
399 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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 facilitare la lettura attiva, il testo contiene numerosi esercizi.
Produktinformation
- Utgivningsdatum2011-02-10
- Mått155 x 235 x 9 mm
- Vikt230 g
- FormatHäftad
- SpråkItalienska
- SerieUNITEXT
- Antal sidor126
- FörlagSpringer Verlag
- ISBN9788847018839
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Structures and Norms in Science
Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem
Inbunden, 1996
2 799 kr
Algebraic Foundations of Many-Valued Reasoning
R.L. Cignoli, Itala M. d'Ottaviano, Daniele Mundici
Inbunden, 1999
1 409 kr
Del 69
Computational Logic and Proof Theory
Georg Gottlob, Alexander Leitsch, Daniele Mundici
Häftad, 1993
709 kr
Theorem Proving with Analytic Tableaux and Related Methods
Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi
Häftad, 1996
709 kr
Computational Logic and Proof Theory
Georg Gottlob, Alexander Leitsch, Daniele Mundici
Häftad, 1997
709 kr
Logic and Scientific Methods
Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem
Häftad, 2010
2 799 kr
Structures and Norms in Science
Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem
Häftad, 2010
2 799 kr
Hoppa över listan
Mer från samma serie
Del 113
Del 116
Del 118
Introduction to Algebraic Statistics with Tensors
Cristiano Bocci, Luca Chiantini
Häftad, 2019
1 199 kr
Del 119
Del 121
Del 125
Del 129
Del 137
Del 139
Probability, Statistics and Simulation
Alberto Rotondi, Paolo Pedroni, Antonio Pievatolo
Häftad, 2022
1 689 kr
Del 140
Hoppa över listan
Du kanske också är intresserad av
Algebraic Foundations of Many-Valued Reasoning
R.L. Cignoli, Itala M. d'Ottaviano, Daniele Mundici
Inbunden, 1999
1 409 kr
Structures and Norms in Science
Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem
Häftad, 2010
2 799 kr
Theorem Proving with Analytic Tableaux and Related Methods
Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi
Häftad, 1996
709 kr
Del 69
Computational Logic and Proof Theory
Georg Gottlob, Alexander Leitsch, Daniele Mundici
Häftad, 1997
709 kr
Logic and Scientific Methods
Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem
Inbunden, 1996
2 799 kr
Structures and Norms in Science
Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem
Inbunden, 1996
2 799 kr
Algebraic Foundations of Many-Valued Reasoning
R.L. Cignoli, Itala M. d'Ottaviano, Daniele Mundici
Häftad, 2010
1 409 kr
Logic and Scientific Methods
Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem
Häftad, 2010
2 799 kr