£91.11

Wiley Logic for Computer Science and Artificial Intelligence

Price data last checked 57 day(s) ago - refreshing...

View at Amazon

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.

£91 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

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
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 34 days • 34 data points (No recent data available)

Historical
Generating forecast...
£134.00 £86.82 £97.11 £107.41 £117.70 £128.00 £138.29 11 March 2026 19 March 2026 27 March 2026 04 April 2026 13 April 2026

Price Distribution

Price distribution over 34 days • 3 price levels

Days at Price
Current Price
13 days · current 3 days 18 days 0 5 9 14 18 £91 £107 £134 Days at Price

Price Analysis

Most common price: £134 (18 days, 52.9%)

Price range: £91 - £134

Price levels: 3 different prices over 34 days

Description

Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.), the diffuse nature of these sources is problematic and logic as a topic benefits from a unified approach. Logic for Computer Science and Artificial Intelligence utilizes this format, surveying the tableaux, resolution, Davis and Putnam methods, logic programming, as well as for example unification and subsumption. For non-classical logics, the translation method is detailed. Logic for Computer Science and Artificial Intelligence is the classroom-tested result of several years of teaching at Grenoble INP (Ensimag). It is conceived to allow self-instruction for a beginner with basic knowledge in Mathematics and Computer Science, but is also highly suitable for use in traditional courses. The reader is guided by clearly motivated concepts, introductions, historical remarks, side notes concerning connections with other disciplines, and numerous exercises, complete with detailed solutions, The title provides the reader with the tools needed to arrive naturally at practical implementations of the concepts and techniques discussed, allowing for the design of algorithms to solve problems.

Key Features

New Store Stock

Product Specifications

Brand
Wiley
Format
hardcover
Domain
Amazon UK
Release Date
12 July 2011
Listed Since
08 July 2011

Barcode

No barcode data available

Similar Products You Might Like

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
98% match

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

£85.45 08 Jan 2026
Logic for Applications (Texts in Computer Science)
97% match

Logic for Applications (Texts in Computer Science)

Springer

£108.11 11 Jan 2026
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
97% match

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Springer

£103.00 07 Mar 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
97% match

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Springer

£42.30 21 Feb 2026
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
97% match

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

£53.96 11 Jan 2026
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
97% match

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Birkhauser

£46.53 13 Apr 2026
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
97% match

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Springer

£41.89 17 Feb 2026
Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)
97% match

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Springer

£118.45 13 Jan 2026
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)
97% match

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)

Springer

£62.33 08 Mar 2026
Mathematical Logic through Python
97% match

Mathematical Logic through Python

Cambridge University Press

£55.29 08 Mar 2026
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
97% match

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Cambridge University Press

£43.24 24 Feb 2026
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
97% match

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

CRC Press

£38.79 17 Feb 2026
Logic for Computer Scientists (Modern Birkhäuser Classics)
97% match

Logic for Computer Scientists (Modern Birkhäuser Classics)

Birkhauser

£48.33 27 Feb 2026
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
97% match

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Cambridge University Press

£94.38 12 Jan 2026
Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)
97% match

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Springer

£26.57 01 Apr 2026
Simple Formal Logic: With Common-Sense Symbolic Techniques
97% match

Simple Formal Logic: With Common-Sense Symbolic Techniques

Routledge

£128.72 15 Apr 2026
Three Views of Logic: Mathematics, Philosophy, and Computer Science
97% match

Three Views of Logic: Mathematics, Philosophy, and Computer Science

Princeton University Press

£33.93 02 Apr 2026
Logic for Mathematicians
97% match

Logic for Mathematicians

Cambridge University Press

£37.68 12 Dec 2025
Computational Logic: 165 (NATO ASI Subseries F:, 165)
97% match

Computational Logic: 165 (NATO ASI Subseries F:, 165)

Springer

£111.23 04 Feb 2026
Logic of Computation: SER F / v.157 (NATO ASI)
97% match

Logic of Computation: SER F / v.157 (NATO ASI)

Springer

£80.56 26 Feb 2026
Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)
97% match

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)

Cambridge University Press

£49.98 09 Mar 2026
Logic Colloquium 2000 (hardcover): Lecture Notes in Logic, 19
97% match

Logic Colloquium 2000 (hardcover): Lecture Notes in Logic, 19

A K Peters/CRC Press

£86.99 27 Feb 2026
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
97% match

Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)

Cambridge University Press

£61.99 22 Feb 2026
Oxford University Press - Fragments of First-Order Logic
97% match

Oxford University Press - Fragments of First-Order Logic

Oxford University Press

£128.82 19 Apr 2026