We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£44.52
Springer Automated Deduction in Equational Logic and Cubic Curves: 1095 (Lecture Notes in Computer Science, 1095)
Price data last checked 9 day(s) ago - will refresh soon
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.
£45 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 82 days · 82 data points (no recent data)
Price Distribution
Price distribution over 82 days • 1 price levels
Price Analysis
Most common price: £45 (82 days, 100.0%)
Price range: £45 - £45
Price levels: 1 different prices over 82 days
Description
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3540613986
- Domain
- Amazon UK
- Release Date
- 12 June 1996
- Listed Since
- 16 December 2006
Barcode
No barcode data available
Similar Products You Might Like
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 10 (Applied Logic Series)
Springer
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
A K Peters/CRC Press
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
North Holland
Proof Techniques: The All in One Textbook (Haneul Choi Mathematics Textbooks)
Price unavailable
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
Springer
Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic: 19 (Mathematics Study Resources, 19)
Springer
An Introduction to Mathematical Proofs (Textbooks in Mathematics)
CRC Press
Mathematical Logic with Special Reference to the Natural Numbers
Cambridge University Press
Theory Reasoning in Connection Calculi: 1527 (Lecture Notes in Computer Science, 1527)
Springer
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
Birkhauser
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Springer
Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics)
Academic Press
An Accompaniment to Higher Mathematics (Undergraduate Texts in Mathematics)
Springer
Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)
Oxford University Press
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic (Cambridge Studies in Advanced Mathematics, Series Number 82)
Cambridge University Press
An Introduction to Mathematical Proofs (Textbooks in Mathematics)
CRC Press
Springer Mathematical Problems from Applied Logic I - Vol 4
Springer
A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning
World Scientific Publishing Company
Proof in V.D.M.: Case Studies (Formal Approaches to Computing and Information Technology (FACIT))
Springer
A Bridge to Higher Mathematics (Textbooks in Mathematics)
CRC Press
Mathematics and Plausible Reasoning, Volume 1: Induction and Analogy in Mathematics: 001 (Princeton Paperback)
Princeton University Press
The Tools of Mathematical Reasoning (Pure and Applied Undergraduate Texts)
Analysis and Logic: 262 (London Mathematical Society Lecture Note Series, Series Number 262)
Cambridge University Press
Numbers & Proofs (Modular Mathematics Series)
Butterworth-Heinemann