We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£152.42
Springer Automated Development of Fundamental Mathematical Theories: 2 (Automated Reasoning Series, 2)
Price data last checked 38 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
This is the most expensive it has ever been. Walk away.
£152 today · previous high £152 · all-time low £152
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 53 days · 53 data points (no recent data)
Price Distribution
Price distribution over 53 days • 1 price levels
Price Analysis
Most common price: £152 (53 days, 100.0%)
Price range: £152 - £152
Price levels: 1 different prices over 53 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
Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)
Springer
Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)
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
Springer - Reflections on the Foundations of Mathematics 407
Springer
Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
Wiley
Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts: 407 (Synthese Library, 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
North Holland
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
Cambridge Metamathematics of First-Order Arithmetic - Book 3
Cambridge University Press
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer