£46.06

This is the most expensive it has ever been. Walk away.

£46 today · previous high £46 · all-time low £46

Springer Mathematical Logic for Computer Science

Amazon

Price History & Forecast

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

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

Historical
Generating forecast…
£46.06 £46.03 £46.03 £46.04 £46.05 £46.06 £46.06 27 July 2026 15 August 2026 04 September 2026 24 September 2026 14 October 2026
View at Amazon ↗

Price data last checked 11 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 80 days • 1 price levels

Days at Price
80 days 0 20 40 60 80 £46 Days at Price

Price Analysis

Most common price: £46 (80 days, 100.0%)

Price range: £46 - £46

Price levels: 1 different prices over 80 days

Description

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems. The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logic for the verification of concurrent programs. The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking.

Key Features

Mathematical Logic for Computer Science

Books Subjects Computers Technology Programming General Books Subjects Computers Technology General Books Subjects Computers Technology Computer Science Featured Stores Books Subjects Computers Technology Programming Microsoft Programming Books Subjects Science Math Mathematics Pure Mathematics Logic

Product Type: ABIS BOOK

Brand: Springer

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
17 June 2012
Listed Since
27 April 2012

Barcode

No barcode data available

Similar Products You Might Like

Logic for Computer Science and Artificial Intelligence
97% match

Logic for Computer Science and Artificial Intelligence

Wiley

£91.12 01 Oct 2026
Logic for Applications (Texts in Computer Science)
97% match

Logic for Applications (Texts in Computer Science)

Springer

£104.00 15 Aug 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

£46.55 12 Sep 2026
Logic And Language Models For Computer Science (Third Edition)
97% match

Logic And Language Models For Computer Science (Third Edition)

Scientific Publishing

£37.72 26 Sep 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
97% match

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

Springer

£38.26 08 Oct 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
97% match

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

Springer

£49.76 11 Sep 2026
Logic for Computer Scientists (Modern Birkhäuser Classics)
97% match

Logic for Computer Scientists (Modern Birkhäuser Classics)

Birkhauser

£50.56 17 Sep 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.71 01 Oct 2026
Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles: T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles
96% match

Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles: T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles

DUNOD

£42.60 13 Oct 2026
Modern Mathematical Logic (Cambridge Mathematical Textbooks)
96% match

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Cambridge University Press

£47.74 08 Sep 2026
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
96% match

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

Springer

£85.45 14 Aug 2026
Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)
96% match

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

Springer

£26.56 29 Sep 2026
Logic for Mathematicians
96% match

Logic for Mathematicians

Cambridge University Press

£53.82 11 Aug 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
Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings: 660 (Lecture Notes in Computer Science, 660)
96% match

Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings: 660 (Lecture Notes in Computer Science, 660)

Springer

£44.98 08 Oct 2026
Cambridge University Press - The Mathematics of Logic Textbook
96% match

Cambridge University Press - The Mathematics of Logic Textbook

Cambridge University Press

£109.99 15 Aug 2026
Proof Theory and Logic Programming: Computation as Proof Search
96% match

Proof Theory and Logic Programming: Computation as Proof Search

Cambridge University Press

£50.81 08 Oct 2026
Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
96% match

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

CRC Press

£74.23 19 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
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
Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)
96% match

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

Cambridge University Press

£90.00 26 Sep 2026
Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)
96% match

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Springer

£118.54 19 Aug 2026
Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)
96% match

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

Chapman and Hall/CRC

£47.28 15 Aug 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
96% match

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Springer

£103.29 20 Aug 2026