Greg Restall: Logical Methods | Taschenbuch

Cover: 9780262544849 | Logical Methods | Greg Restall (u. a.) | Taschenbuch | Englisch | 2023

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

51,15 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

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"--

Ü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

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
Maße:	251 x 178 x 20 mm
Von/Mit:	Greg Restall (u. a.)
Erscheinungsdatum:	03.01.2023
Gewicht:	0,62 kg

Artikel-ID: 124144854

Über den Autor

Greg Restall and Shawn Standefer

Inhaltsverzeichnis

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
Maße:	251 x 178 x 20 mm
Von/Mit:	Greg Restall (u. a.)
Erscheinungsdatum:	03.01.2023
Gewicht:	0,62 kg