Greg Restall: Logical Methods | Taschenbuch | preigu

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

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

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

47,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

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

"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
Fachbereich:	Allgemeines
Genre:	Philosophie
Jahrhundert:	Antike
Rubrik:	Geisteswissenschaften
Thema:	Lexika
Medium:	Taschenbuch
Seiten:	284
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

preigu-id: 124144854

Ü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
Fachbereich:	Allgemeines
Genre:	Philosophie
Jahrhundert:	Antike
Rubrik:	Geisteswissenschaften
Thema:	Lexika
Medium:	Taschenbuch
Seiten:	284
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

preigu-id: 124144854

Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Buch

Cover: 9780387960821 | Finite Reflection Groups | C. T. Benson (u. a.) | Buch | x | Englisch

Finite Reflection Groups

EAN: 9780387960821

Von/Mit: C. T. Benson (u. a.)

64,95 €*

Lieferzeit 2-3 Wochen

Taschenbuch

Cover: 9783519023999 | Symmetrische Verschlüsselungsverfahren | Michael Miller | Taschenbuch

Symmetrische Verschlüsselungsverfahren

Design, Entwicklung und Kryptoanalyse klassischer und moderner Chiffren. Mit Online-Service

EAN: 9783519023999

Sprache: Deutsch

Von/Mit: Michael Miller

44,99 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9780199543625 | Propositions, Functions, and Analysis | Peter Hylton | Taschenbuch

Propositions, Functions, and Analysis

Selected Essays on Russell's Philosophy

EAN: 9780199543625

Sprache: Englisch

Von/Mit: Peter Hylton

54,35 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9780199203918 | Truth and Paradox | Solving the Riddles | Tim Maudlin | Taschenbuch

Truth and Paradox

Solving the Riddles

EAN: 9780199203918

Sprache: Englisch

Von/Mit: Tim Maudlin

62,95 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9780198529811 | A First Course in Logic | Shawn Hedman | Taschenbuch | Paperback

A First Course in Logic

An Introduction to Model Theory, Proof Theory, Computability, and Complexity

EAN: 9780198529811

Sprache: Englisch

Von/Mit: Shawn Hedman

100,95 €*

Lieferzeit 4-7 Werktage

Buch

Cover: 9780387943251 | Advanced Topics in the Arithmetic of Elliptic Curves | Silverman

Advanced Topics in the Arithmetic of Elliptic Curves

EAN: 9780387943251

Sprache: Englisch

Von/Mit: Joseph H. Silverman

85,15 €*

Lieferzeit 2-3 Wochen

Buch

Cover: 9783465011040 | Die verwirklichte Vernunft | Hegels Begriff des objektiven Geistes

Die verwirklichte Vernunft

Hegels Begriff des objektiven Geistes

EAN: 9783465011040

Sprache: Deutsch

Von/Mit: Jean-François Kervégan

79,00 €*

Lieferzeit 1-2 Werktage

Buch

Cover: 9783110674095 | Zeiteinteilung (Maximen) I und II / Time Management (Maxims) I and II

Zeiteinteilung (Maximen) I und II / Time Management (Maxims) I and II

EAN: 9783110674095

Sprache: Englisch, Deutsch

Von/Mit: Kurt Gödel

149,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781839982095 | Tractatus Logico-Philosophicus | Centenary Edition | Wittgenstein

Tractatus Logico-Philosophicus

Centenary Edition

EAN: 9781839982095

Sprache: Englisch

Von/Mit: Ludwig Wittgenstein

32,15 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9780367619244 | The Anthropology of Argument | Christopher W Tindale | Taschenbuch

The Anthropology of Argument

Cultural Foundations of Rhetoric and Reason

EAN: 9780367619244

Sprache: Englisch

Von/Mit: Christopher W Tindale

53,85 €*

Lieferzeit 1-2 Wochen

Buch

Cover: 9781911709251 | Reason to Be Happy | Why logical thinking is the key to a better life

Reason to Be Happy

Why logical thinking is the key to a better life

EAN: 9781911709251

Sprache: Englisch

Von/Mit: Kaushik Basu

22,95 €*

Lieferzeit 1-2 Wochen