We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£35.63
Springer - Reverse Mathematics: Problems, Reductions, and Proofs
Price data last checked 34 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
It has never been this cheap. We have no record of a lower price.
£36 today · cheaper than every other day in the last 3 months
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
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
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 57 days • 57 data points (No recent data available)
Price Distribution
Price distribution over 57 days • 1 price levels
Price Analysis
Most common price: £36 (57 days, 100.0%)
Price range: £36 - £36
Price levels: 1 different prices over 57 days
Description
Key Features
Provides a modern treatment of reverse mathematics through computability theoretic reductions and formal arithmetic proofs.
Explores the complexity of mathematical theorems and problems across all areas of mathematics.
Investigates foundational questions regarding the necessity of specific mathematical proofs and results.
Analyzes the relationship between mathematical logic and the ability of computers to solve specific problems.
Offers significant foundational insights into the field of computability theory and mathematical logic.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3031113691
- Domain
- Amazon UK
- Release Date
- 26 July 2023
- Listed Since
- 29 June 2023
Barcode
No barcode data available
Similar Products You Might Like
Reverse Mathematics: Problems, Reductions, and Proofs (Theory and Applications of Computability)
Springer
Proofs and Computations (Perspectives in Logic)
Cambridge University Press
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
An Introduction to Mathematical Proofs (Textbooks in Mathematics)
CRC Press
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
Springer
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)
Cambridge University Press
Turing Computability: Theory and Applications (Theory and Applications of Computability)
Springer
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
DUNOD
Combinators, λ-Terms and Proof Theory: 42 (Synthese Library, 42)
Springer
Perspectives in Computational Complexity: The Somenath Biswas Anniversary Volume: 26 (Progress in Computer Science and Applied Logic, 26)
Birkhauser
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
Springer
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory: 53 (Trends in Logic, 53)
Springer
Logic and Combinatorics: Joint Summer Research Conference on Applications of Mathematical Logic to Finite Combinatorics (Contemporary Mathematics)
Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
Wiley
Computability and Randomness: 51 (Oxford Logic Guides)
Oxford University Press
Springer Well-Quasi Orders in Computation, Logic and Reasoning
Springer
The Discrete Mathematical Charms of Paul Erdos: A Simple Introduction
An Introduction to Mathematical Proofs (Textbooks in Mathematics)
CRC Press
Mathematical Foundations of Computer Science
Chapman and Hall/CRC
A First Course in Mathematical Logic and Set Theory
Wiley
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
CRC Press
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
CRC Press
Basic Discrete Mathematics: Logic, Set Theory, and Probability
World Scientific Publishing Company