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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
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
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Vendeur : medimops, Berlin, Allemagne
Etat : good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. N° de réf. du vendeur M03110782014-G
Quantité disponible : 1 disponible(s)
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : New. N° de réf. du vendeur 46004090-n
Quantité disponible : 4 disponible(s)
Vendeur : Rarewaves USA, HEBRON, KY, Etats-Unis
Paperback. Etat : New. 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. N° de réf. du vendeur LU-9783110782011
Quantité disponible : Plus de 20 disponibles
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 46004090
Quantité disponible : 4 disponible(s)
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9783110782011
Quantité disponible : Plus de 20 disponibles
Vendeur : California Books, Miami, FL, Etats-Unis
Etat : New. N° de réf. du vendeur I-9783110782011
Quantité disponible : Plus de 20 disponibles
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9783110782011
Quantité disponible : Plus de 20 disponibles
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Paperback. Etat : New. 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. N° de réf. du vendeur LU-9783110782011
Quantité disponible : Plus de 20 disponibles
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Etat : New. N° de réf. du vendeur 46004090-n
Quantité disponible : Plus de 20 disponibles
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 46004090
Quantité disponible : Plus de 20 disponibles