Price loading...

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

Computer Science

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

The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Gödel, Church, Kleene, Rosser, and Turing. The sixth edition incorporates recent work on Gödel’s second incompleteness theorem as well as restoring an appendix on consistency proofs for first-order arithmetic. This appendix last appeared in the first edition. It is offered in the new edition for historical considerations. The text also offers historical perspectives and many new exercises of varying difficulty, which motivate and lead students to an in-depth, practical understanding of the material.

Product Specifications

Format: paperback
ASIN: 1032919140
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 14 October 2024
Listed Since: 09 August 2024

Barcode

No barcode data available

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

Mathematical Logic: An Introduction (De Gruyter Textbook)

Mathematical Aspects of Logic Programming Semantics: 6 (Chapman & Hall/CRC Studies in Informatics Series)

Introduction to Mathematical Logic: Extended Edition

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

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

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

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

Fundamentals of Mathematical Logic

A Mathematical Introduction To Logic

A First Course in Mathematical Logic and Set Theory

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

Mathematical Logic

Logic for Applications (Texts in Computer Science)

A First Journey through Logic (Student Mathematical Library)

Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume Ii: Foundations Of Mathematics: 2

Logic for Mathematicians

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

Mathematical Logic: On Numbers, Sets, Structures, and Symmetry: 4 (Springer Graduate Texts in Philosophy, 4)

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

Introduction to Logic

Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16

Propositional Logics Third Edition

Introduction to Discrete Mathematics via Logic and Proof (Undergraduate Texts in Mathematics)