We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£151.55
Springer Automated Development of Fundamental Mathematical Theories: 2 (Automated Reasoning Series, 2)
Price data last checked 146 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
This is the usual price. Wait for it to drop, or tell us your number.
£152 today · usual range £0–£0 · best ever £110
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 585 days • 585 data points (No recent data available)
Price Distribution
Price distribution over 585 days • 4 price ranges
Price Analysis
Most common range: £131-142 (353 days, 60.3%)
Price range: £110 - £163
Price levels: 4 price ranges over 585 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
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
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
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
Brill Essays in Philosophy and History of Logic and Mathematics
Brill
Kurt Gödel: Results on Foundations (Sources and Studies in the History of Mathematics and Physical Sciences)
Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)
Cambridge University Press
Computational Logic: 165 (NATO ASI Subseries F:, 165)
Springer