Mathematical Logic: 291 (Graduate Texts in Mathematics, 291) - Image 1

£42.30

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

Name: Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Brand: Springer
Price: 42.14 GBP
Availability: InStock

Computer Science

Price History & Forecast

Last 28 days • 28 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 28 days • 1 price levels

Days at Price

Price Analysis

Most common price: £42 (28 days, 100.0%)

Price range: £42 - £42

Price levels: 1 different prices over 28 days

Description

This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? In answering these questions, this textbook explores the capabilities and limitations of algorithms and proof methods in mathematics and computer science. The chapters are carefully organized, featuring complete proofs and numerous examples throughout. Beginning with motivating examples, the book goes on to present the syntax and semantics of first-order logic. After providing a sequent calculus for this logic, a Henkin-type proof of the completeness theorem is given. These introductory chapters prepare the reader for the advanced topics that follow, such as Gödel's Incompleteness Theorems, Trakhtenbrot's undecidability theorem, Lindström's theorems on the maximality of first-order logic, and results linking logic with automata theory. This new edition features many modernizations, as well as two additional important results: The decidability of Presburger arithmetic, and the decidability of the weak monadic theory of the successor function. Mathematical Logic is ideal for students beginning their studies in logic and the foundations of mathematics. Although the primary audience for this textbook will be graduate students or advanced undergraduates in mathematics or computer science, in fact the book has few formal prerequisites. It demands of the reader only mathematical maturity and experience with basic abstract structures, such as those encountered in discrete mathematics or algebra.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3030738388
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 29 May 2021
Listed Since: 11 March 2021

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Mathematical Logic: An Introduction (De Gruyter Textbook)

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

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

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)

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

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

Introduction to Mathematical Logic: Extended Edition

Logic for Applications (Texts in Computer Science)

A First Journey through Logic (Student Mathematical Library)

Mathematical Logic (Undergraduate Texts in Mathematics)

Logic for Mathematicians

Mathematical Logic for Computer Science

Mathematical Logic

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

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

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

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

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)

An Introduction to the Language of Mathematics

A Course in Mathematical Logic for Mathematicians: 53 (Graduate Texts in Mathematics, 53)

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

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