Price loading...

Mathematical Logic: An Introduction (De Gruyter Textbook)

Higher Education

Price data last checked 104 day(s) ago - refreshing...

View at Amazon

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

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.

Product Specifications

Format: perfect
ASIN: 3110782014
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Education > Higher Education
Domain: Amazon UK
Release Date: 20 June 2023
Listed Since: 05 December 2022

Barcode

No barcode data available

Mathematical Logic: An Introduction (De Gruyter Textbook)

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Introduction to Mathematical Logic: Extended Edition

A First Journey through Logic (Student Mathematical Library)

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

A First Course in Mathematical Logic and Set Theory

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Mathematical Logic

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Mathematical Logic through Python

Logic for Mathematicians

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

Introduction to Incompleteness: From Gödel's Theorems to Forcing and the Continuum Hypothesis

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

Introduction to Logic and Logical Discourse

Introduction to Logic and Logical Discourse

Introduction to Logic

Introduction to Mathematical Proofs: A Transition to Advanced Mathematics: 26 (Textbooks in Mathematics)

Fundamentals of Mathematical Logic

An Algebraic Introduction to Mathematical Logic: 22 (Graduate Texts in Mathematics, 22)