We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£47.80
Cambridge University Press Cambridge Logic in Computer Science - 2nd Edition Textbook
Price data last checked 52 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.
£48 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 39 days · 39 data points (no recent data)
Price Distribution
Price distribution over 39 days • 2 price levels
Price Analysis
Most common price: £48 (38 days, 97.4%)
Price range: £48 - £49
Price levels: 2 different prices over 39 days
Description
Key Features
This second edition from Cambridge University Press provides a clear introduction to formal reasoning for computer science students.
The text addresses the need for improved methods in validating hardware and software systems used by companies worldwide.
Students can gain proficiency in logic-based verification methods through rigorous and practical application.
Each book is supplied in new, mint condition to ensure high quality for your studies.
Orders received before 12 noon are dispatched the same day for fast delivery.
We provide guaranteed packaging and no quibbles returns for a reliable shopping experience.
Product Specifications
- Format
- paperback
- ASIN
- 052154310X
- Domain
- Amazon UK
- Release Date
- 26 August 2004
- Listed Since
- 02 January 2007
Barcode
No barcode data available
Similar Products You Might Like
Handbook of Practical Logic and Automated Reasoning
Cambridge University Press
Simple Formal Logic: With Common-Sense Symbolic Techniques
Routledge
Mathematical Logic and Computation
Cambridge University Press
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science, 12167)
Springer
Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)
Cambridge University Press
Mathematical Problems from Applied Logic I - Springer
Springer
Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)
Cambridge University Press
Logic of Computation: SER F / v.157 (NATO ASI)
Springer
Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference
World Scientific Publishing Company
Logic for Computer Science and Artificial Intelligence
Wiley
Mathematical Logic: An Introduction (De Gruyter Textbook)
De Gruyter
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)
Springer
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
North Holland
Three Views of Logic: Mathematics, Philosophy, and Computer Science
Princeton University Press
Language, Proof and Logic 2e +CD: Second Edition
University of Chicago Press
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
Cambridge University Press
Classical Mathematical Logic – The Semantic Foundations of Logic
Princeton University Press
Proceedings of the 7th and 8th Asian Logic Conferences
World Scientific Publishing Company
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
Springer
Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)
Elsevier
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
Birkhauser
Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)
Cambridge University Press
Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles
Routledge
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer