We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£140.00
It has never been this cheap. We have no record of a lower price.
£140 today · cheaper than every other day in the last 3 months
North Holland - Principles of Logic and Logic Programming
Price data last checked 21 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 70 days · 70 data points (no recent data)
Price data last checked 21 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 70 days • 1 price levels
Price Analysis
Most common price: £140 (70 days, 100.0%)
Price range: £140 - £140
Price levels: 1 different prices over 70 days
Description
Key Features
This book by North Holland unfolds the basic elements of logic for readers.
Analyze the transition and relationship from logic to logic programming.
Study the history of symbolic computation following the rise of computers in the 1950s.
Learn about early programs created to answer elementary questions and prove simple theorems.
Examine the general methods based on logic established by Robinson in 1965.
Product Specifications
- Brand
- North Holland
- Format
- paperback
- ASIN
- 0444542019
- Domain
- Amazon UK
- Release Date
- 01 June 2011
- Listed Since
- 02 June 2011
Barcode
No barcode data available
Similar Products You Might Like
Logic Programming: A Classified Bibliography
Springer
Essentials Of Logic Programming (Oxford Science Publications): 1 (Graduate Texts in Computer Science)
Oxford University Press
Logic of Computation: SER F / v.157 (NATO ASI)
Springer
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings: 5366 (Lecture Notes in Computer Science, 5366)
Springer
Logic for Mathematicians
Cambridge University Press
Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings: 660 (Lecture Notes in Computer Science, 660)
Springer
Logic for Computer Science and Artificial Intelligence
Wiley
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)
Springer
Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
CRC Press
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)
Springer
Reasoning with Logic Programming: 1111 (Lecture Notes in Computer Science, 1111)
Springer
Computational Logic: 165 (NATO ASI Subseries F:, 165)
Springer
Mathematical Aspects of Logic Programming Semantics: 6 (Chapman & Hall/CRC Studies in Informatics Series)
CRC Press
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
Springer
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
Springer
Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings: 2916 (Lecture Notes in Computer Science, 2916)
Springer
Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles: T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles
DUNOD
Classical Mathematical Logic: The Semantic Foundations of Logic
Princeton University Press
Proof Theory and Logic Programming: Computation as Proof Search
Cambridge University Press
Handbook of Philosophical Logic: Volume 14
Springer
Logic for Computer Scientists (Modern Birkhäuser Classics)
Birkhauser