We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£137.61
Routledge Logic And Declarative Language - Computing Book
Price data last checked 29 day(s) ago - will refresh soon
We'll watch every seller, every day. One email when your price arrives.
This is the most expensive it has ever been. Walk away.
£138 today · previous high £138 · all-time low £137
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 62 days • 62 data points (No recent data available)
Price Distribution
Price distribution over 62 days • 1 price levels
Price Analysis
Most common price: £138 (62 days, 100.0%)
Price range: £138 - £138
Price levels: 1 different prices over 62 days
Description
Key Features
Tailored approach for computer scientists that makes logic more accessible and less intimidating than traditional mathematical methods.
Clear explanations that demonstrate the straightforward connections between logic and declarative language.
Extensive collection of exercises designed to build practical experience and hands-on understanding of the subject matter.
Builds confidence in manual proofs to create a strong foundation for mastering automated proofs.
Provides a structured way to learn essential concepts for software design, testing, and engineering.
Product Specifications
- Brand
- Routledge
- Format
- hardcover
- ASIN
- 0748408037
- Category
- Books > Subjects > Computing & Internet > Programming > Software Design, Testing & Engineering
- Domain
- Amazon UK
- Release Date
- 31 March 1998
- Listed Since
- 14 February 2007
Barcode
No barcode data available
Similar Products You Might Like
Springer Mathematical Problems from Applied Logic I - Vol 4
Springer
A Mathematical Introduction To Logic
Logic and Philosophy: A Modern Introduction
Logic and Language (Cornerstones of Computing S)
Red Globe Press
Logic: An Introduction (Fundamentals of Philosophy)
Routledge
Logic: An Introduction (Fundamentals of Philosophy)
Routledge
Logic Made Easy: A Concise Introduction to Informal and Formal Logic
Cognella Academic Publishing
Language, Proof and Logic 2e +CD: Second Edition
University of Chicago Press
Logic in Computer Science: Modelling and Reasoning about Systems
Logic: An Introductory Course
Routledge
Logic for Computer Scientists (Modern Birkhäuser Classics)
Birkhauser
Logic Colloquium '02: Lecture Notes in Logic 27
A K Peters/CRC Press
Mathematical Logic and Computation
Essentials of Logic (Routledge Revivals)
Routledge
Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)
Cambridge University Press
Simple Formal Logic: With Common-Sense Symbolic Techniques
Routledge
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
Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)
Cambridge University Press
Mathematical Logic In The 20th Century
World Scientific Publishing Company
A Modern Introduction to Logic (Routledge Revivals)
Routledge
Logic of Computation: SER F / v.157 (NATO ASI)
Springer
The Logic of Our Language: An Introduction to Symbolic Logic
Broadview Press Inc
A Course in Mathematical Logic
North Holland
Elementary Logic
Routledge