Logic and Scientific Methods
Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem
Inbunden, 1996
2 205 kr
Logica: Metodo Breve
314 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
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
Utforska 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 205 kr
Structures and Norms in Science
Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem
5 167 kr
Algebraic Foundations of Many-Valued Reasoning
R.L. Cignoli, Itala M. d'Ottaviano, Daniele Mundici
Inbunden, 1999
1 106 kr
Del 69
Computational Logic and Proof Theory
Georg Gottlob, Alexander Leitsch, Daniele Mundici
Häftad, 1993
556 kr
Theorem Proving with Analytic Tableaux and Related Methods
Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi
Häftad, 1996
556 kr
Computational Logic and Proof Theory
Georg Gottlob, Alexander Leitsch, Daniele Mundici
Häftad, 1997
556 kr
Hoppa över listan
Mer från samma serie
Del 113
Del 116
Del 118
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 324 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 106 kr
Algebraic Foundations of Many-Valued Reasoning
Daniele Mundici, Itala M. d'Ottaviano, R.L. Cignoli
E-bok
20131 427 kr
Logic and Scientific Methods
Johan van Benthem, Daniele Mundici, Kees Doets, Maria Luisa Dalla Chiara
E-bok
20132 833 kr
Del 69
Computational Logic and Proof Theory
Georg Gottlob, Alexander Leitsch, Daniele Mundici
Häftad, 1997
556 kr
Structures and Norms in Science
Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem
Inbunden, 1996
2 205 kr
Algebraic Foundations of Many-Valued Reasoning
R.L. Cignoli, Itala M. d'Ottaviano, Daniele Mundici
Häftad, 2010
1 104 kr