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

£50.10

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

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

Computer Science

This is the most expensive it has ever been. Walk away.

£50 today · previous high £50 · all-time low £48

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 69 days · 69 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 69 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £50 (40 days, 58.0%)

Price range: £48 - £50

Price levels: 2 different prices over 69 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)

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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

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

Logic for Mathematicians

Mathematical Logic

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

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)

Oxford Mathematical Logic - Oxford Texts in Logic 3 Book

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)

Proof Theory and Logic Programming: Computation as Proof Search

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