We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£158.23
This is the most expensive it has ever been. Walk away.
£158 today · previous high £158 · all-time low £152
Springer Automated Development of Fundamental Mathematical Theories: 2 (Automated Reasoning Series, 2)
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 27 days · 27 data points (no recent data)
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 Distribution
Price distribution over 27 days • 2 price levels
Price Analysis
Most common price: £152 (19 days, 70.4%)
Price range: £152 - £158
Price levels: 2 different prices over 27 days
Description
Key Features
Used Book in Good Condition
Product Specifications
- Brand
- Springer
- Format
- hardcover
- ASIN
- 0792320212
- Domain
- Amazon UK
- Release Date
- 30 November 1992
- Listed Since
- 15 February 2007
Barcode
No barcode data available
Similar Products You Might Like
Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics
Birkhauser
Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics
Birkhauser
Springer Metamathematics of First-Order Arithmetic Book
Springer
Springer Kurt Godel: The Princeton Lectures on Intuitionism
Springer
Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)
Springer
Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof
Springer
Models of Peano Arithmetic: 15 (Oxford Logic Guides)
Oxford University Press
Introduction to Model Theory: 15 (Algebra, Logic and Applications)
CRC Press
Reflections on Foundations of Mathematics - Univalent Foundations & Set Theory
Springer
Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
Wiley
Springer Reflections on the Foundations of Mathematics 407
Springer
Introduction to Model Theory (Algebra, Logic and Applications)
CRC Press
Mathematical Logic and Model Theory: A Brief Introduction: 0 (Universitext)
Springer
A First Course in Mathematical Logic and Set Theory
Wiley
Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)
Springer
Gödel's Incompleteness Theorems: 19 (Oxford Logic Guides)
Oxford University Press
Functional Interpretations: From the Dialectica Interpretation to Functional Interpretations of Analysis and Set Theory
World Scientific Publishing Company
Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)
Springer
Set Theory An Introduction To Independence Proofs: 102 (Studies in Logic and the Foundations of Mathematics): Volume 102
Elsevier
Logic and Structure (Universitext)
Springer
Logic for Mathematicians
Cambridge University Press
An Outline of Mathematical Logic: Fundamental Results and Notions Explained with all Details: 70 (Synthese Library, 70)
Springer
Metamathematics of First-Order Arithmetic - Perspectives Logic
Cambridge University Press
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer