Picture 1 of 1
Stock photo
Picture 1 of 1
Stock photo
De Gruyter Textbook Ser.: Mathematical Logic : An Introduction by Daniel Cunningham (2023, Trade Paperback)
Bargain Book Stores (1134199)
99.2% positive feedback
Price:
US $81.30
ApproximatelyAU $124.88
+ $19.31 postage
Returns:
30-day returns. Buyer pays for return postage. If you use an eBay postage label, it will be deducted from your refund amount.
Condition:
Format: Paperback or Softback. Your Privacy. Condition Guide. Item Availability.
- Buy It NowMathematical Logic: An Introduction (Paperback or Softback)
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherDE Gruyter Gmbh, Walter
ISBN-103110782014
ISBN-139783110782011
eBay Product ID (ePID)18058378009
Product Key Features
Number of Pages270 Pages
Publication NameMathematical Logic : an Introduction
LanguageEnglish
SubjectGeneral, Algebra / General, Logic
Publication Year2023
TypeTextbook
Subject AreaMathematics, Philosophy
AuthorDaniel Cunningham
SeriesDe Gruyter Textbook Ser.
FormatTrade Paperback
Dimensions
Item Weight15.8 Oz
Item Length9.4 in
Item Width6.7 in
Additional Product Features
Intended AudienceCollege Audience
LCCN2023-931072
Dewey Edition23/eng/20230616
Grade FromCollege Freshman
IllustratedYes
Grade ToCollege Senior
Dewey Decimal511.3
SynopsisMathematical 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.
LC Classification NumberQA9
