Logic and Scientific Methods
Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem, Johan Van Benthem
Inbunden
2 699 kr
Del 50 - UNITEXT
Logica: Metodo Breve
Häftad, Italienska, 2011
389 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, Johan Van Benthem
Inbunden
2 699 kr
Algebraic Foundations of Many-Valued Reasoning
R.L. Cignoli, Itala M. d'Ottaviano, Daniele Mundici, R. L. Cignoli, Itala M. D'Ottaviano
Inbunden
1 369 kr
Theorem Proving with Analytic Tableaux and Related Methods
Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi
Häftad
689 kr
Logic and Scientific Methods
Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem, Johan Van Benthem
Häftad
2 699 kr
Structures and Norms in Science
Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem, Johan Van Benthem
Häftad
2 699 kr
Hoppa över listan
Mer från samma serie
Selected Exercises in Algebra
Rocco Chirivì, Ilaria Del Corso, Roberto Dvornicich, Rocco Chirivi, Ilaria del Corso
Häftad
619 kr
Del 121
Del 125
Del 139
Probability, Statistics and Simulation
Alberto Rotondi, Paolo Pedroni, Antonio Pievatolo
Häftad
1 659 kr
Hoppa över listan
Du kanske också är intresserad av
Algebraic Foundations of Many-Valued Reasoning
R.L. Cignoli, Itala M. d'Ottaviano, Daniele Mundici, R. L. Cignoli, Itala M. D'Ottaviano
Inbunden
1 369 kr
Structures and Norms in Science
Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem, Johan Van Benthem
Häftad
2 699 kr
Theorem Proving with Analytic Tableaux and Related Methods
Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi
Häftad
689 kr
Structures and Norms in Science
Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem, Johan Van Benthem
Inbunden
2 699 kr
Algebraic Foundations of Many-Valued Reasoning
R.L. Cignoli, Itala M. d'Ottaviano, Daniele Mundici, R. L. Cignoli, Itala M. D'Ottaviano
Häftad
1 369 kr
Logic and Scientific Methods
Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem, Johan Van Benthem
Häftad
2 699 kr