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

£123.71

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

Name: Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)
Brand: Springer
Price: 123.71 GBP
Availability: InStock

Algorithms

This is the usual price. Wait for it to drop, or tell us your number.

£124 today · usual range £0–£0 · best ever £95

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 583 days • 583 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 583 days • 4 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £125-132 (430 days, 73.8%)

Price range: £95 - £132

Price levels: 4 price ranges over 583 days

Description

The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and Computational Complexity covers a broad spectrum of results in logic and set theory that are relevant to the foundations, as well as the results in computational complexity and the interdisciplinary area of proof complexity. The author presents his ideas on how these areas are connected, what are the most fundamental problems and how they should be approached. In particular, he argues that complexity is as important for foundations as are the more traditional concepts of computability and provability. Emphasis is on explaining the essence of concepts and the ideas of proofs, rather than presenting precise formal statements and full proofs. Each section starts with concepts and results easily explained, and gradually proceeds to more difficult ones. The notes after each section present some formal definitions, theorems and proofs. Logical Foundations of Mathematics and Computational Complexity is aimed at graduate students of all fields of mathematics who are interested in logic, complexity and foundations. It will also be of interest for both physicists and philosophers who are curious to learn the basics of logic and complexity theory.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3319001183
Category: Books > Subjects > Computing & Internet > Programming > Algorithms
Domain: Amazon UK
Release Date: 31 May 2013
Listed Since: 08 February 2013

Barcode

No barcode data available

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

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)

Computational Logic: 165 (NATO ASI Subseries F:, 165)

Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

Turing Computability: Theory and Applications (Theory and Applications of Computability)

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

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

Logical Foundations of Proof Complexity (Perspectives in Logic)

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

Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 259 ... Lecture Note Series, Series Number 259)

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)

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

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

Logic of Computation: SER F / v.157 (NATO ASI)

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Mathematical Logic and Computation

Logic for Computer Science and Artificial Intelligence

An Introduction to the Language of Mathematics

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

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

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

Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998: 1450 (Lecture Notes in Computer Science, 1450)