63,75 €*
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
investigate mathematics itself. In particular, the concepts of proof and truth are examined.
The book presents the fundamental topics in mathematical logic and presents clear and
complete proofs throughout the text. Such proofs are used to develop the language of
propositional logic and the language of first-order logic, including the notion of a formal
deduction. The text also covers Tarski's definition of truth and the computability concept.
It also provides coherent proofs of Godel's completeness and incompleteness theorems.
Moreover, the text was written with the student in mind and thus, it provides an accessible
introduction to mathematical logic. In particular, the text explicitly shows the reader
how to prove the basic theorems and presents detailed proofs throughout the book. Most
undergraduate books on mathematical logic are written for a reader who is well-versed
in logical notation and mathematical proof. This textbook is written to attract a wider
audience, including students who are not yet experts in the art of mathematical proof.
investigate mathematics itself. In particular, the concepts of proof and truth are examined.
The book presents the fundamental topics in mathematical logic and presents clear and
complete proofs throughout the text. Such proofs are used to develop the language of
propositional logic and the language of first-order logic, including the notion of a formal
deduction. The text also covers Tarski's definition of truth and the computability concept.
It also provides coherent proofs of Godel's completeness and incompleteness theorems.
Moreover, the text was written with the student in mind and thus, it provides an accessible
introduction to mathematical logic. In particular, the text explicitly shows the reader
how to prove the basic theorems and presents detailed proofs throughout the book. Most
undergraduate books on mathematical logic are written for a reader who is well-versed
in logical notation and mathematical proof. This textbook is written to attract a wider
audience, including students who are not yet experts in the art of mathematical proof.
| Empfohlen (bis): | 16 |
|---|---|
| Empfohlen (von): | 13 |
| Erscheinungsjahr: | 2023 |
| Fachbereich: | Grundlagen |
| Genre: | Mathematik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Seiten: | 256 |
| Inhalt: |
XIV
256 S. 30 s/w Illustr. 30 b/w ill. |
| ISBN-13: | 9783110782011 |
| ISBN-10: | 3110782014 |
| Sprache: | Englisch |
| Ausstattung / Beilage: | Großformatiges Paperback. Klappenbroschur |
| Autor: | Cunningham, Daniel |
| Hersteller: | De Gruyter |
| Abbildungen: | 30 b/w ill. |
| Maße: | 25 x 171 x 248 mm |
| Von/Mit: | Daniel Cunningham |
| Erscheinungsdatum: | 22.05.2023 |
| Gewicht: | 0,449 kg |
| Empfohlen (bis): | 16 |
|---|---|
| Empfohlen (von): | 13 |
| Erscheinungsjahr: | 2023 |
| Fachbereich: | Grundlagen |
| Genre: | Mathematik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Seiten: | 256 |
| Inhalt: |
XIV
256 S. 30 s/w Illustr. 30 b/w ill. |
| ISBN-13: | 9783110782011 |
| ISBN-10: | 3110782014 |
| Sprache: | Englisch |
| Ausstattung / Beilage: | Großformatiges Paperback. Klappenbroschur |
| Autor: | Cunningham, Daniel |
| Hersteller: | De Gruyter |
| Abbildungen: | 30 b/w ill. |
| Maße: | 25 x 171 x 248 mm |
| Von/Mit: | Daniel Cunningham |
| Erscheinungsdatum: | 22.05.2023 |
| Gewicht: | 0,449 kg |
Ähnliche Produkte
Lieferzeit 4-7 Werktage
Lieferzeit 2-3 Wochen
Lieferzeit 2-3 Wochen
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Lieferzeit 4-7 Werktage
Lieferzeit 1-2 Wochen
Lieferzeit 4-7 Werktage