Items related to Mathematical Logic: An Introduction (De Gruyter Textbook)
Synopsis
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.
This text written with the student in mind provides an accessible introduction to logic, explicitly showing the reader how to produce and compose the proofs of the basic theorems in mathematical logic through numerous examples and exercises.
"synopsis" may belong to another edition of this title.
About the Author
Daniel Cunningham, State University of New York, Buffalo State, USA.
"About this title" may belong to another edition of this title.
Search results for Mathematical Logic: An Introduction (De Gruyter Textbook)
Stock Image
Mathematical Logic: An Introduction
Seller: medimops, Berlin, Germany
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # M03110782014-G
Buy Used
US$ 62.65
US$ 11.02 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Mathematical Logic : An Introduction
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 46004090-n
Seller Image
Mathematical Logic
Seller: Rarewaves USA, HEBRON, KY, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: 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. Seller Inventory # LU-9783110782011
Seller Image
Mathematical Logic : An Introduction
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 46004090
Stock Image
Mathematical Logic
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783110782011
Stock Image
Mathematical Logic: An Introduction (De Gruyter Textbook)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783110782011
Seller Image
Mathematical Logic
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: 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. Seller Inventory # LU-9783110782011
Buy New
US$ 96.80
Free Shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Mathematical Logic
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783110782011
Buy New
US$ 91.80
US$ 5.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Mathematical Logic : An Introduction
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 46004090-n
Buy New
US$ 87.81
US$ 19.82 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Mathematical Logic : An Introduction
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 46004090
Buy Used
US$ 93.88
US$ 19.82 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available