£49.99

A Computational Logic Handbook: Formerly Notes and Reports in Computer Science and Applied Mathematics

Price data last checked 22 day(s) ago - will refresh soon

View at Amazon

Price History & Forecast

Last 69 days • 69 data points (No recent data available)

Historical
Generating forecast...
£49.99 £47.49 £48.49 £49.49 £50.49 £51.49 £52.49 25 January 2026 11 February 2026 28 February 2026 17 March 2026 03 April 2026

Price Distribution

Price distribution over 69 days • 1 price levels

Days at Price
69 days 0 17 35 52 69 £50 Days at Price

Price Analysis

Most common price: £50 (69 days, 100.0%)

Price range: £50 - £50

Price levels: 1 different prices over 69 days

Description

Contains a precise and complete description of the computational logic developed by the authors; will serve also as a reference guide to the associated mechanical theorem proving system. Annotation copyright Book News, Inc. Portland, Or.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
24 September 2014
Listed Since
24 September 2014

Barcode

No barcode data available

Similar Products You Might Like

Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics)
93% match

Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics)

Academic Press

£43.99 12 Apr 2026
Modern Mathematical Logic (Cambridge Mathematical Textbooks)
90% match

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Cambridge University Press

£45.08 15 Feb 2026
Handbook of Mathematics for Engineers and Scientists (Advances in Applied Mathematics)
90% match

Handbook of Mathematics for Engineers and Scientists (Advances in Applied Mathematics)

CRC Press

£38.43 13 Jan 2026
Mathematical Logic for Computer Science
90% match

Mathematical Logic for Computer Science

Springer

£44.25 15 Feb 2026
Computability Theory: An Introduction to Recursion Theory
90% match

Computability Theory: An Introduction to Recursion Theory

Academic Press

£51.69 16 Feb 2026
The Calculus of Computation: Decision Procedures with Applications to Verification
90% match

The Calculus of Computation: Decision Procedures with Applications to Verification

Springer

£59.19 11 Feb 2026
Mathematical Logic with Special Reference to the Natural Numbers
90% match

Mathematical Logic with Special Reference to the Natural Numbers

Cambridge University Press

£44.71 08 Mar 2026
Logic And Language Models For Computer Science (Third Edition)
90% match

Logic And Language Models For Computer Science (Third Edition)

Scientific Publishing

£39.44 17 Mar 2026
A Mathematical Introduction To Logic
90% match

A Mathematical Introduction To Logic

£77.99 12 Dec 2025
A Practical Theory of Programming (Monographs in Computer Science)
90% match

A Practical Theory of Programming (Monographs in Computer Science)

Springer

£41.54 07 Mar 2026
Mathematical Foundations of Computational Engineering: A Handbook
90% match

Mathematical Foundations of Computational Engineering: A Handbook

Springer

£241.00 13 Jan 2026
Logic for Computer Scientists (Modern Birkhäuser Classics)
90% match

Logic for Computer Scientists (Modern Birkhäuser Classics)

Birkhauser

£48.33 27 Feb 2026
Logical Foundations of Proof Complexity (Perspectives in Logic)
90% match

Logical Foundations of Proof Complexity (Perspectives in Logic)

Cambridge University Press

£54.59 15 Feb 2026
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
90% match

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Springer

£27.50 21 Feb 2026
Logic and Language Models for Computer Science: Third Edition
90% match

Logic and Language Models for Computer Science: Third Edition

Scientific Publishing

£56.56 13 Apr 2026
Computability
90% match

Computability

Springer

£47.73 20 Feb 2026
Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)
90% match

Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)

Chapman and Hall/CRC

£56.20 10 Apr 2026
A Logical Approach to Discrete Math (Monographs in Computer Science)
90% match

A Logical Approach to Discrete Math (Monographs in Computer Science)

Springer

£37.46 20 Feb 2026
Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)
90% match

Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)

Springer

£31.47 20 Feb 2026
Logic for Applications (Texts in Computer Science)
90% match

Logic for Applications (Texts in Computer Science)

Springer

£108.11 11 Jan 2026
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
90% match

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

CRC Press

£38.79 17 Feb 2026
The Foundations of Computability Theory
90% match

The Foundations of Computability Theory

Springer

£45.90 15 Feb 2026
Handbook of Analytic Computational Methods in Applied Mathematics
90% match

Handbook of Analytic Computational Methods in Applied Mathematics

Chapman and Hall/CRC

£260.00 12 Jan 2026
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
90% match

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

Springer

£65.47 13 Jan 2026