Stock photo

De Gruyter Textbook Ser.: Mathematical Logic : An Introduction by Daniel Cunningham (2023, Trade Paperback)

Books From California (164514)

99.4% positive feedback

Price:

S$ 92.00

(inclusive of GST)

+ 28.41 shipping

Returns:

30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.

Condition:

Good

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

LanguageEnglish

Publication NameMathematical Logic : an Introduction

Publication Year2023

SubjectGeneral, Algebra / General, Logic

TypeTextbook

AuthorDaniel Cunningham

Subject AreaMathematics, Philosophy

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

Dewey Decimal511.3

Grade ToCollege Senior

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