We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£64.82
Springer First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Price data last checked 39 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.
£65 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 52 days · 52 data points (no recent data)
Price Distribution
Price distribution over 52 days • 1 price levels
Price Analysis
Most common price: £65 (52 days, 100.0%)
Price range: £65 - £65
Price levels: 1 different prices over 52 days
Description
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 1461275156
- Domain
- Amazon UK
- Release Date
- 26 June 2013
- Listed Since
- 07 November 2013
Barcode
No barcode data available
Similar Products You Might Like
Springer Mathematical Problems from Applied Logic I - Vol 4
Springer
Mathematical Logic (Undergraduate Texts in Mathematics)
Springer
Fundamentals of Mathematical Logic
CRC Press
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
Cambridge University Press
Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)
Cambridge University Press
Proof and Disproof in Formal Logic: An Introduction for Programmers: 2 (Oxford Texts in Logic)
Oxford University Press
A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic)
Oxford University Press
Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size
Springer
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
Cambridge University Press
Logic of Computation: SER F / v.157 (NATO ASI)
Springer
Language, Proof and Logic 2e +CD: Second Edition
University of Chicago Press
Logic for Computer Scientists (Modern Birkhäuser Classics)
Birkhauser
Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)
Chapman and Hall/CRC
Mathematical Logic and Computation
Cambridge University Press
Mathematical Logic In The 20th Century
World Scientific Publishing Company
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
Springer
Finitely Axiomatizable Theories (Siberian School of Algebra and Logic)
Springer
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
North Holland
Mathematical Logic through Python
Cambridge University Press
Proceedings of the 7th and 8th Asian Logic Conferences
World Scientific Publishing Company
Mathematical Logic: An Introduction (De Gruyter Textbook)
De Gruyter
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
Probabilistic Extensions of Various Logical Systems
Springer