We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£151.24
This is the most expensive it has ever been. Walk away.
£151 today · previous high £151 · all-time low £137
Routledge Logic and Declarative Language - Routledge Programming Guide
Price data last checked 17 day(s) ago - will refresh soon
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 74 days · 74 data points (no recent data)
Price data last checked 17 day(s) ago - will refresh soon
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 Distribution
Price distribution over 74 days • 2 price levels
Price Analysis
Most common price: £151 (62 days, 83.8%)
Price range: £137 - £151
Price levels: 2 different prices over 74 days
Description
Key Features
Routledge's Logic and Declarative Language book focuses on computer science applications rather than purely mathematical approaches.
The text includes numerous exercises throughout to develop practical skills in constructing manual proofs confidently.
Covers straightforward connections between logic and declarative language programming paradigms for software development.
Designed to build confidence in both manual and automated proof methods for software design and testing.
Part of Routledge's Computing & Internet programming series covering software design, testing and engineering principles.
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
Mathematical Problems from Applied Logic I - Springer
Springer
A Mathematical Introduction To Logic
Academic Press
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 - University of Chicago Press
University of Chicago Press
Cambridge Logic in Computer Science - 2nd Edition Textbook
Cambridge University Press
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
Cambridge Mathematical Logic and Computation by Jeremy Avigad
Cambridge University Press
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 - 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