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

£29.57

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

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

Computer Science

About as cheap as it gets. The only time it was cheaper was 1 month ago.

£30 today · all-time low £29 (Apr 2026) · usually the usual

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

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

Historical

Generating forecast...

Price Distribution

Price distribution over 49 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £39 (18 days, 36.7%)

Price range: £29 - £39

Price levels: 4 different prices over 49 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: paperback
ASIN: 3030738418
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 30 May 2022
Listed Since: 03 May 2022

Barcode

No barcode data available

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

About as cheap as it gets. The only time it was cheaper was 1 month ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Logic for Mathematicians

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Mathematical Logic

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

Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles: T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles

Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference

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

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

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

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

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

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

Logic for Applications (Texts in Computer Science)

Mathematical Logic through Python

Mathematical Logic: An Introduction (De Gruyter Textbook)

Proof Theory and Logic Programming: Computation as Proof Search

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Logic for Computer Science and Artificial Intelligence

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

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

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

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday: 6300 (Lecture Notes in Computer Science, 6300)

Logic and Structure (Universitext)