£63.49

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

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

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

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

£63 today · previous high £63 · all-time low £54

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

Historical
Generating forecast...
£63.49 £52.77 £55.11 £57.45 £59.79 £62.13 £64.47 08 April 2026 23 April 2026 09 May 2026 25 May 2026 10 June 2026

Price Distribution

Price distribution over 64 days • 2 price levels

Days at Price
Current Price
39 days 25 days · current 0 10 20 29 39 £54 £63 Days at Price

Price Analysis

Most common price: £54 (39 days, 60.9%)

Price range: £54 - £63

Price levels: 2 different prices over 64 days

Description

This text attempts to change the way we teach logic to beginning students. Instead of teaching logic as a subject in isolation, we regard it as a basic tool and show how to use it. We strive to give students a skill in the propo sitional and predicate calculi and then to exercise that skill thoroughly in applications that arise in computer science and discrete mathematics. We are not logicians, but programming methodologists, and this text reflects that perspective. We are among the first generation of scientists who are more interested in using logic than in studying it. With this text, we hope to empower further generations of computer scientists and math ematicians to become serious users of logic. Logic is the glue Logic is the glue that binds together methods of reasoning, in all domains. The traditional proof methods -for example, proof by assumption, con tradiction, mutual implication, and induction- have their basis in formal logic. Thus, whether proofs are to be presented formally or informally, a study of logic can provide understanding.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
22 October 1993
Listed Since
15 February 2007

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.11 13 Apr 2026
Logic for Computer Scientists (Modern Birkhäuser Classics)
97% match

Logic for Computer Scientists (Modern Birkhäuser Classics)

Birkhauser

£51.67 04 Jul 2026
A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic)
97% match

A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic)

Oxford University Press

£66.72 17 Mar 2026
A First Course in Logic
97% match

A First Course in Logic

CRC Press

£64.84 12 Jun 2026
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
97% match

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

Springer

£85.44 12 Jun 2026
Logic for Mathematicians
96% match

Logic for Mathematicians

Cambridge University Press

£54.13 10 Jun 2026
A Mathematical Introduction To Logic
96% match

A Mathematical Introduction To Logic

Academic Press

£77.99 10 Jun 2026
Introduction to Logic and Logical Discourse
96% match

Introduction to Logic and Logical Discourse

Springer

£91.42 03 Jul 2026
Mathematical Logic and Computation
96% match

Mathematical Logic and Computation

Cambridge University Press

£56.75 16 Jun 2026
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)
96% match

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)

Springer

£62.33 08 Mar 2026
Logical Foundations of Proof Complexity (Perspectives in Logic)
96% match

Logical Foundations of Proof Complexity (Perspectives in Logic)

Cambridge University Press

£58.99 29 Jun 2026
Introduction to Logic and Logical Discourse
96% match

Introduction to Logic and Logical Discourse

Springer

£84.48 12 Jun 2026
Mathematical Logic Part 1: Propositional Calculus, Boolean Algebras & Predicate Calculus
96% match

Mathematical Logic Part 1: Propositional Calculus, Boolean Algebras & Predicate Calculus

Oxford University Press

£76.00 19 Jun 2026
Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)
96% match

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Springer

£118.57 16 Jun 2026
Modern Mathematical Logic (Cambridge Mathematical Textbooks)
96% match

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Cambridge University Press

£47.74 29 Jun 2026
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
96% match

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Springer

£39.73 01 Jul 2026
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
96% match

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Springer

£46.22 13 Jun 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 03 Jul 2026
Classical Mathematical Logic – The Semantic Foundations of Logic
96% match

Classical Mathematical Logic – The Semantic Foundations of Logic

Princeton University Press

£52.06 07 May 2026
Logic Made Easy: A Concise Introduction to Informal and Formal Logic
96% match

Logic Made Easy: A Concise Introduction to Informal and Formal Logic

Cognella Academic Publishing

£76.00 19 Jun 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
96% match

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

Springer

£105.06 16 Jun 2026
Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)
96% match

Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)

Cambridge University Press

£94.37 04 Jul 2026
Mathematical Logic: An Introduction (De Gruyter Textbook)
96% match

Mathematical Logic: An Introduction (De Gruyter Textbook)

De Gruyter

£70.56 13 Jun 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

£85.48 18 Mar 2026