Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Mathematical Logic - Daniel Cunningham

Mathematical Logic (eBook)

An Introduction
eBook Download: EPUB
2023
270 Seiten
De Gruyter (Verlag)
978-3-11-078219-6 (ISBN)
Systemvoraussetzungen
89,95 inkl. MwSt
(CHF 87,85)
Der eBook-Verkauf erfolgt durch die Lehmanns Media GmbH (Berlin) zum Preis in Euro inkl. MwSt.
  • Download sofort lieferbar
  • Zahlungsarten anzeigen

Mathematical Logic: An Introduction is a textbook that uses mathematical tools to

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.



Daniel W. Cunningham is a Professor Emeritus of Mathematics at SUNY Buffalo State, a

campus of the State University of New York. Daniel received a Ph.D. in Mathematics from

UCLA, specializing in mathematical logic. He currently teaches at California State University

at Fresno. Cunningham's research focus is in set theory, and has recently published

two research papers and two textbooks

Erscheint lt. Verlag 22.5.2023
Reihe/Serie De Gruyter Textbook
De Gruyter Textbook
Zusatzinfo 30 b/w ill.
Sprache englisch
Themenwelt Geisteswissenschaften Philosophie Logik
Mathematik / Informatik Mathematik
Schlagworte deductive reasoning. • Deduktive Berechnung • deduktives Denken • logic of the first order • logic of the second order • Logik erster Ordnung • Logik zweiter Ordnung • Mathematical Logic • Mathematical logic, logic of the first order, logic of the second order, deductive reasoning. • Mathematische Logik
ISBN-10 3-11-078219-7 / 3110782197
ISBN-13 978-3-11-078219-6 / 9783110782196
Haben Sie eine Frage zum Produkt?
EPUBEPUB (Wasserzeichen)
Größe: 32,8 MB

DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasser­zeichen und ist damit für Sie persona­lisiert. Bei einer missbräuch­lichen Weiter­gabe des eBooks an Dritte ist eine Rück­ver­folgung an die Quelle möglich.

Dateiformat: EPUB (Electronic Publication)
EPUB ist ein offener Standard für eBooks und eignet sich besonders zur Darstellung von Belle­tristik und Sach­büchern. Der Fließ­text wird dynamisch an die Display- und Schrift­größe ange­passt. Auch für mobile Lese­geräte ist EPUB daher gut geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür die kostenlose Software Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür eine kostenlose App.
Geräteliste und zusätzliche Hinweise

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Mehr entdecken
aus dem Bereich

von Ahti-Veikko Pietarinen

eBook Download (2024)
Walter de Gruyter GmbH & Co.KG (Verlag)
CHF 136,70
An Introduction

von Daniel Cunningham

eBook Download (2023)
Walter de Gruyter GmbH & Co.KG (Verlag)
CHF 87,85