We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£65.47
Springer First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Price data last checked 148 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.
£65 today · usual range £0–£0 · best ever £59
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 583 days • 583 data points (No recent data available)
Price Distribution
Price distribution over 583 days • 7 price levels
Price Analysis
Most common price: £61 (364 days, 62.4%)
Price range: £59 - £71
Price levels: 7 different prices over 583 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
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)
Mathematical Logic and Computation
Mathematical Logic In The 20th Century
World Scientific Publishing Company
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
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)
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
Mathematical Logic
Taylor & Francis
Mathematical Logic Part 1: Propositional Calculus, Boolean Algebras & Predicate Calculus
Oxford University Press
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Cambridge University Press