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.3 GBP
Availability: InStock

Computer Science

About as cheap as it gets. The only time it was cheaper was 10 months ago.

£42 today · all-time low £42 (Aug 2025) · 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 266 days • 266 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 266 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £42 (142 days, 53.4%)

Price range: £42 - £46

Price levels: 4 different prices over 266 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)

About as cheap as it gets. The only time it was cheaper was 10 months ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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

Logic for Mathematicians

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 (Discrete Mathematics and Its Applications)

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

Mathematical Logic: An Introduction (De Gruyter Textbook)

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

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

Mathematical Logic through Python

Logic for Applications (Texts in Computer Science)

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

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

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Logic for Computer Science and Artificial Intelligence

Fundamentals of Mathematical Logic

A First Journey through Logic (Student Mathematical Library)

Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)

Mathematical Logic and Computation

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

Mathematical Logic

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)

Substructural Logics: A Primer: 13 (Trends in Logic, 13)