£43.99

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

Illustrated

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

View at Amazon

Price History & Forecast

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

Historical
Generating forecast...
£43.99 £41.79 £42.67 £43.55 £44.43 £45.31 £46.19 25 January 2026 13 February 2026 04 March 2026 23 March 2026 12 April 2026

Price Distribution

Price distribution over 78 days • 1 price levels

Days at Price
78 days 0 20 39 59 78 £44 Days at Price

Price Analysis

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

Price range: £44 - £44

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

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

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

£49.99 03 Apr 2026
Symbolic Logic (Palgrave Philosophy Today)
92% match

Symbolic Logic (Palgrave Philosophy Today)

MACMILLAN

£45.44 07 Mar 2026
Symbolic Logic: Syntax, Semantics, and Proof
92% match

Symbolic Logic: Syntax, Semantics, and Proof

Rowman & Littlefield Publishers

£141.68 17 Apr 2026
Introducing Symbolic Logic
91% match

Introducing Symbolic Logic

Broadview Press Inc

£44.05 19 Apr 2026
Mathematical Logic for Computer Science
91% match

Mathematical Logic for Computer Science

Springer

£44.25 15 Feb 2026
Logic for Applications (Texts in Computer Science)
91% match

Logic for Applications (Texts in Computer Science)

Springer

£108.11 11 Jan 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
91% match

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

Springer

£42.30 21 Feb 2026
Propositional Logics Third Edition
91% match

Propositional Logics Third Edition

Advanced Reasoning Forum

£37.39 16 Feb 2026
Concise Introduction to Logic and Set Theory (Mathematics and its Applications)
91% match

Concise Introduction to Logic and Set Theory (Mathematics and its Applications)

CRC Press

£52.23 03 Mar 2026
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
91% match

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

CRC Press

£38.79 17 Feb 2026
Mechanical Logic in Three-Dimensional Space
91% match

Mechanical Logic in Three-Dimensional Space

Taylor & Francis

£102.60 17 Apr 2026
Elementary Symbolic Logic: Concepts, Techniques, and Concepts
91% match

Elementary Symbolic Logic: Concepts, Techniques, and Concepts

£73.00 04 Apr 2026
Mathematical Logic
91% match

Mathematical Logic

Taylor & Francis

£46.30 12 Apr 2026
Logic and Language Models for Computer Science: Third Edition
91% match

Logic and Language Models for Computer Science: Third Edition

Scientific Publishing

£56.56 13 Apr 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
Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker
90% match

Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker

Vieweg+Teubner Verlag

£46.99 29 Mar 2026
Essentials of Symbolic Logic, Third Edition
90% match

Essentials of Symbolic Logic, Third Edition

Broadview Press Inc

£49.12 21 Feb 2026
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
90% match

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

North Holland

£49.99 22 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
Introduction to Logic and Logical Discourse
90% match

Introduction to Logic and Logical Discourse

£91.52 07 Jan 2026
Introduction to Logic and Logical Discourse
90% match

Introduction to Logic and Logical Discourse

Springer

£89.88 25 Feb 2026
Springer - Reverse Mathematics: Problems, Reductions, and Proofs
90% match

Springer - Reverse Mathematics: Problems, Reductions, and Proofs

Springer

£35.63 12 Apr 2026
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
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