Logic and Scientific Methods
Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem
Inbunden, 1996
2 174 kr
Logica: Metodo Breve
E-bok
PDF, Italienska, 2011231 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
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 174 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 091 kr
Del 69
Computational Logic and Proof Theory
Georg Gottlob, Alexander Leitsch, Daniele Mundici
Häftad, 1993
549 kr
Theorem Proving with Analytic Tableaux and Related Methods
Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi
Häftad, 1996
549 kr
Computational Logic and Proof Theory
Georg Gottlob, Alexander Leitsch, Daniele Mundici
Häftad, 1997
549 kr
Hoppa över listan
Du kanske också är intresserad av
Del 50
Algebraic Foundations of Many-Valued Reasoning
R.L. Cignoli, Itala M. d'Ottaviano, Daniele Mundici
Inbunden, 1999
1 091 kr
Algebraic Foundations of Many-Valued Reasoning
Daniele Mundici, Itala M. d'Ottaviano, R.L. Cignoli
E-bok
20131 339 kr
Logic and Scientific Methods
Johan van Benthem, Daniele Mundici, Kees Doets, Maria Luisa Dalla Chiara
E-bok
20132 741 kr
Del 69
Computational Logic and Proof Theory
Georg Gottlob, Alexander Leitsch, Daniele Mundici
Häftad, 1997
549 kr
Structures and Norms in Science
Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem
Inbunden, 1996
2 174 kr
Algebraic Foundations of Many-Valued Reasoning
R.L. Cignoli, Itala M. d'Ottaviano, Daniele Mundici
Häftad, 2010
1 091 kr