Dekorationsartikel gehören nicht zum Leistungsumfang.
Sprache:
Englisch
51,15 €*
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
Kategorien:
Beschreibung
"An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well"--
"An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well"--
Über den Autor
Greg Restall and Shawn Standefer
Inhaltsverzeichnis
How to Read This Book xi
I Propositional Logic
1 Introduction 3
2 Connectives: and & if 19
3 More Connectives: not & or 35
4 Facts about Proofs & Provability 49
5 Models & Counterexamples 75
6 Soundness & Completeness 91
II Modal Logic
7 Necessity & Possibility 117
8 Actuality & 2D Logic 153
9 Modal Natural Deduction 167
III Predicate Logic
10 Proofs for Predicate Logic 189
11 Models for Predicate Logic 217
12 Coda 245
Glossary 255
References 261
Symbol Index 267
Subject Index 269
I Propositional Logic
1 Introduction 3
2 Connectives: and & if 19
3 More Connectives: not & or 35
4 Facts about Proofs & Provability 49
5 Models & Counterexamples 75
6 Soundness & Completeness 91
II Modal Logic
7 Necessity & Possibility 117
8 Actuality & 2D Logic 153
9 Modal Natural Deduction 167
III Predicate Logic
10 Proofs for Predicate Logic 189
11 Models for Predicate Logic 217
12 Coda 245
Glossary 255
References 261
Symbol Index 267
Subject Index 269
Details
| Erscheinungsjahr: | 2023 |
|---|---|
| Genre: | Importe, Philosophie |
| Rubrik: | Geisteswissenschaften |
| Medium: | Taschenbuch |
| Inhalt: | Einband - flex.(Paperback) |
| ISBN-13: | 9780262544849 |
| ISBN-10: | 0262544849 |
| Sprache: | Englisch |
| Einband: | Kartoniert / Broschiert |
| Autor: |
Restall, Greg
Standefer, Shawn |
| Hersteller: | MIT Press Ltd |
| Verantwortliche Person für die EU: | preigu, Ansas Meyer, Lengericher Landstr. 19, D-49078 Osnabrück, mail@preigu.de |
| Maße: | 251 x 178 x 20 mm |
| Von/Mit: | Greg Restall (u. a.) |
| Erscheinungsdatum: | 03.01.2023 |
| Gewicht: | 0,62 kg |
Über den Autor
Greg Restall and Shawn Standefer
Inhaltsverzeichnis
How to Read This Book xi
I Propositional Logic
1 Introduction 3
2 Connectives: and & if 19
3 More Connectives: not & or 35
4 Facts about Proofs & Provability 49
5 Models & Counterexamples 75
6 Soundness & Completeness 91
II Modal Logic
7 Necessity & Possibility 117
8 Actuality & 2D Logic 153
9 Modal Natural Deduction 167
III Predicate Logic
10 Proofs for Predicate Logic 189
11 Models for Predicate Logic 217
12 Coda 245
Glossary 255
References 261
Symbol Index 267
Subject Index 269
I Propositional Logic
1 Introduction 3
2 Connectives: and & if 19
3 More Connectives: not & or 35
4 Facts about Proofs & Provability 49
5 Models & Counterexamples 75
6 Soundness & Completeness 91
II Modal Logic
7 Necessity & Possibility 117
8 Actuality & 2D Logic 153
9 Modal Natural Deduction 167
III Predicate Logic
10 Proofs for Predicate Logic 189
11 Models for Predicate Logic 217
12 Coda 245
Glossary 255
References 261
Symbol Index 267
Subject Index 269
Details
| Erscheinungsjahr: | 2023 |
|---|---|
| Genre: | Importe, Philosophie |
| Rubrik: | Geisteswissenschaften |
| Medium: | Taschenbuch |
| Inhalt: | Einband - flex.(Paperback) |
| ISBN-13: | 9780262544849 |
| ISBN-10: | 0262544849 |
| Sprache: | Englisch |
| Einband: | Kartoniert / Broschiert |
| Autor: |
Restall, Greg
Standefer, Shawn |
| Hersteller: | MIT Press Ltd |
| Verantwortliche Person für die EU: | preigu, Ansas Meyer, Lengericher Landstr. 19, D-49078 Osnabrück, mail@preigu.de |
| Maße: | 251 x 178 x 20 mm |
| Von/Mit: | Greg Restall (u. a.) |
| Erscheinungsdatum: | 03.01.2023 |
| Gewicht: | 0,62 kg |
Sicherheitshinweis
Ähnliche Produkte
Taschenbuch
Lieferzeit 4-7 Werktage
Taschenbuch
Taschenbuch
Lieferzeit 1-2 Wochen