£43.99

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

Illustrated

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

£44 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 32 days • 32 data points (No recent data available)

Historical
Generating forecast...
£43.99 £41.79 £42.67 £43.55 £44.43 £45.31 £46.19 12 March 2026 19 March 2026 27 March 2026 04 April 2026 12 April 2026

Price Distribution

Price distribution over 32 days • 1 price levels

Days at Price
32 days 0 8 16 24 32 £44 Days at Price

Price Analysis

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

Price range: £44 - £44

Price levels: 1 different prices over 32 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

£141.68 17 Apr 2026
Essentials of Symbolic Logic, Third Edition
97% match

Essentials of Symbolic Logic, Third Edition

Broadview Press Inc

£49.12 21 Feb 2026
Introducing Symbolic Logic
97% match

Introducing Symbolic Logic

Broadview Press Inc

£44.05 19 Apr 2026
Elementary Symbolic Logic: Concepts, Techniques, and Concepts
96% match

Elementary Symbolic Logic: Concepts, Techniques, and Concepts

£73.00 04 Apr 2026
Symbolic Logic (Palgrave Philosophy Today)
96% match

Symbolic Logic (Palgrave Philosophy Today)

MACMILLAN

£45.44 07 Mar 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 22 Feb 2026
Mathematical Logic
96% match

Mathematical Logic

Taylor & Francis

£46.30 12 Apr 2026
Modern Mathematical Logic (Cambridge Mathematical Textbooks)
96% match

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Cambridge University Press

£45.08 15 Feb 2026
Mathematical Logic with Special Reference to the Natural Numbers
96% match

Mathematical Logic with Special Reference to the Natural Numbers

Cambridge University Press

£44.71 08 Mar 2026
Logic for Computer Scientists (Modern Birkhäuser Classics)
96% match

Logic for Computer Scientists (Modern Birkhäuser Classics)

Birkhauser

£48.33 27 Feb 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

£43.24 24 Feb 2026
Mathematical Logic and Computation
96% match

Mathematical Logic and Computation

£55.89 13 Jan 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

£46.91 28 Feb 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

£33.38 09 Mar 2026
Mathematical Logic: An Introduction (De Gruyter Textbook)
96% match

Mathematical Logic: An Introduction (De Gruyter Textbook)

£61.17 11 Jan 2026
A First Journey through Logic (Student Mathematical Library)
96% match

A First Journey through Logic (Student Mathematical Library)

£43.50 28 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)
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.98 09 Mar 2026
Mathematical Logic In The 20th Century
96% match

Mathematical Logic In The 20th Century

World Scientific Publishing Company

£102.97 07 Jan 2026
Mathematical Logic through Python
96% match

Mathematical Logic through Python

Cambridge University Press

£55.29 08 Mar 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
96% match

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

Springer

£42.30 21 Feb 2026
Proceedings of the 7th and 8th Asian Logic Conferences
95% match

Proceedings of the 7th and 8th Asian Logic Conferences

World Scientific Publishing Company

£100.00 17 Feb 2026
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)
95% match

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)

Springer

£26.22 18 Apr 2026
Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)
95% match

Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)

Cambridge University Press

£85.48 18 Mar 2026
An Introduction to Substructural Logics
95% match

An Introduction to Substructural Logics

Routledge

£40.47 08 Apr 2026