Mathematical Logic : : An Introduction / / Daniel Cunningham.
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. Su...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter DG Plus DeG Package 2023 Part 1 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2023] ©2023 |
Year of Publication: | 2023 |
Language: | English |
Series: | De Gruyter Textbook
|
Online Access: | |
Physical Description: | 1 online resource (XIV, 256 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 04721nam a22008175i 4500 | ||
---|---|---|---|
001 | 9783110782073 | ||
003 | DE-B1597 | ||
005 | 20240306014423.0 | ||
006 | m|||||o||d|||||||| | ||
007 | cr || |||||||| | ||
008 | 240306t20232023gw fo d z eng d | ||
020 | |a 9783110782073 | ||
024 | 7 | |a 10.1515/9783110782073 |2 doi | |
035 | |a (DE-B1597)617078 | ||
035 | |a (OCoLC)1378390250 | ||
040 | |a DE-B1597 |b eng |c DE-B1597 |e rda | ||
041 | 0 | |a eng | |
044 | |a gw |c DE | ||
072 | 7 | |a PHI011000 |2 bisacsh | |
082 | 0 | 4 | |a 511.3 |q OCoLC |2 23/eng/20231120 |
084 | |a SK 130 |q SEPA |2 rvk |0 (DE-625)rvk/143216: | ||
100 | 1 | |a Cunningham, Daniel, |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
245 | 1 | 0 | |a Mathematical Logic : |b An Introduction / |c Daniel Cunningham. |
264 | 1 | |a Berlin ; |a Boston : |b De Gruyter, |c [2023] | |
264 | 4 | |c ©2023 | |
300 | |a 1 online resource (XIV, 256 p.) | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
347 | |a text file |b PDF |2 rda | ||
490 | 0 | |a De Gruyter Textbook | |
505 | 0 | 0 | |t Frontmatter -- |t Preface -- |t Acknowledgments -- |t Contents -- |t 1 Basic set theory and basic logic -- |t 2 Propositional logic -- |t 3 First-order logic -- |t 4 Soundness and completeness -- |t 5 Computability -- |t 6 Undecidability and incompleteness -- |t Bibliography -- |t Symbol Index -- |t Subject Index |
506 | 0 | |a restricted access |u http://purl.org/coar/access_right/c_16ec |f online access with authorization |2 star | |
520 | |a 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. | ||
530 | |a Issued also in print. | ||
538 | |a Mode of access: Internet via World Wide Web. | ||
546 | |a In English. | ||
588 | 0 | |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 06. Mrz 2024) | |
650 | 4 | |a Deduktives Denken. | |
650 | 4 | |a Logik erster Ordnung. | |
650 | 4 | |a Logik zweiter Ordnung. | |
650 | 4 | |a Mathematische Logik. | |
650 | 7 | |a PHILOSOPHY / Logic. |2 bisacsh | |
653 | |a Mathematical logic, logic of the first order, logic of the second order, deductive reasoning. | ||
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t DG Plus DeG Package 2023 Part 1 |z 9783111175782 |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t EBOOK PACKAGE COMPLETE 2023 English |z 9783111319292 |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t EBOOK PACKAGE COMPLETE 2023 |z 9783111318912 |o ZDB-23-DGG |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t EBOOK PACKAGE Mathematics 2023 English |z 9783111319209 |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t EBOOK PACKAGE Mathematics 2023 |z 9783111318608 |o ZDB-23-DMA |
776 | 0 | |c EPUB |z 9783110782196 | |
776 | 0 | |c print |z 9783110782011 | |
856 | 4 | 0 | |u https://doi.org/10.1515/9783110782073 |
856 | 4 | 0 | |u https://www.degruyter.com/isbn/9783110782073 |
856 | 4 | 2 | |3 Cover |u https://www.degruyter.com/document/cover/isbn/9783110782073/original |
912 | |a 978-3-11-117578-2 DG Plus DeG Package 2023 Part 1 |b 2023 | ||
912 | |a 978-3-11-131920-9 EBOOK PACKAGE Mathematics 2023 English |b 2023 | ||
912 | |a 978-3-11-131929-2 EBOOK PACKAGE COMPLETE 2023 English |b 2023 | ||
912 | |a EBA_CL_MTPY | ||
912 | |a EBA_CL_PLTLJSIS | ||
912 | |a EBA_DGALL | ||
912 | |a EBA_EBKALL | ||
912 | |a EBA_ECL_MTPY | ||
912 | |a EBA_ECL_PLTLJSIS | ||
912 | |a EBA_EEBKALL | ||
912 | |a EBA_ESSHALL | ||
912 | |a EBA_ESTMALL | ||
912 | |a EBA_SSHALL | ||
912 | |a EBA_STMALL | ||
912 | |a GBV-deGruyter-alles | ||
912 | |a ZDB-23-DGG |b 2023 | ||
912 | |a ZDB-23-DMA |b 2023 |