£43.99

It has never been this cheap. We have no record of a lower price.

£44 today · cheaper than every other day in the last 3 months

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

View at Amazon

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 68 days · 68 data points (no recent data)

Historical
Generating forecast…
£43.99 £41.79 £42.67 £43.55 £44.43 £45.31 £46.19 26 July 2026 11 August 2026 28 August 2026 14 September 2026 01 October 2026
View at Amazon ↗

Illustrated

Price data last checked 23 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

↑ 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 Distribution

Price distribution over 68 days • 1 price levels

Days at Price
68 days 0 17 34 51 68 £44 Days at Price

Price Analysis

Most common price: £44 (68 days, 100.0%)

Price range: £44 - £44

Price levels: 1 different prices over 68 days

Description

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
15 June 1973
Listed Since
06 February 2007

Barcode

No barcode data available

Similar Products You Might Like

Symbolic Logic: Syntax, Semantics, and Proof
97% match

Symbolic Logic: Syntax, Semantics, and Proof

Rowman & Littlefield Publishers

£152.00 02 Oct 2026
Essentials of Symbolic Logic, Third Edition
97% match

Essentials of Symbolic Logic, Third Edition

Broadview Press Inc

£50.44 11 Sep 2026
Introducing Symbolic Logic
97% match

Introducing Symbolic Logic

Broadview Press Inc

£42.50 03 Oct 2026
Elementary Symbolic Logic: Concepts, Techniques, and Concepts
96% match

Elementary Symbolic Logic: Concepts, Techniques, and Concepts

KENDALL HUNT PUBLISHING

£73.00 30 Sep 2026
Symbolic Logic (Palgrave Philosophy Today)
96% match

Symbolic Logic (Palgrave Philosophy Today)

MACMILLAN

£43.18 22 Sep 2026
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
96% match

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

North Holland

£49.99 11 Sep 2026
Mathematical Logic
96% match

Mathematical Logic

Taylor & Francis

£49.37 01 Oct 2026
Modern Mathematical Logic (Cambridge Mathematical Textbooks)
96% match

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Cambridge University Press

£47.74 08 Sep 2026
Mathematical Logic with Special Reference to the Natural Numbers
96% match

Mathematical Logic with Special Reference to the Natural Numbers

Cambridge University Press

£59.85 23 Sep 2026
Logic for Computer Scientists (Modern Birkhäuser Classics)
96% match

Logic for Computer Scientists (Modern Birkhäuser Classics)

Birkhauser

£50.56 17 Sep 2026
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
96% match

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

Cambridge University Press

£46.55 12 Sep 2026
Cambridge Mathematical Logic and Computation by Jeremy Avigad
96% match

Cambridge Mathematical Logic and Computation by Jeremy Avigad

Cambridge University Press

£56.42 19 Aug 2026
Analysis and Logic: 262 (London Mathematical Society Lecture Note Series, Series Number 262)
96% match

Analysis and Logic: 262 (London Mathematical Society Lecture Note Series, Series Number 262)

Cambridge University Press

£65.99 18 Sep 2026
Mathematical Logic for Computer Science
96% match

Mathematical Logic for Computer Science

Springer

£46.06 14 Oct 2026
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
96% match

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

Springer

£31.48 12 Oct 2026
A Course in Model Theory: 40 (Lecture Notes in Logic, Series Number 40)
96% match

A Course in Model Theory: 40 (Lecture Notes in Logic, Series Number 40)

Cambridge University Press

£58.99 24 Sep 2026
Mathematical Logic: An Introduction (De Gruyter Textbook)
96% match

Mathematical Logic: An Introduction (De Gruyter Textbook)

De Gruyter

£76.88 14 Aug 2026
A First Journey through Logic (Student Mathematical Library)
96% match

A First Journey through Logic (Student Mathematical Library)

£44.09 18 Sep 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)
96% 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.99 24 Sep 2026
Mathematical Logic In The 20th Century
96% match

Mathematical Logic In The 20th Century

World Scientific Publishing Company

£94.21 13 Aug 2026
Mathematical Logic through Python
96% match

Mathematical Logic through Python

Cambridge University Press

£61.99 23 Sep 2026
A Course in Mathematical Logic
96% match

A Course in Mathematical Logic

North Holland

£43.99 15 Oct 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
96% match

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

Springer

£49.76 11 Sep 2026
Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic: 19 (Mathematics Study Resources, 19)
95% match

Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic: 19 (Mathematics Study Resources, 19)

Springer

£37.09 05 Oct 2026