£58.86

World Scientific Publishing Company Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

Price data last checked 93 day(s) ago - refreshing...

View at Amazon

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

This is the usual price. Wait for it to drop, or tell us your number.

£59 today · usual range £0–£0 · best ever £55

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

Historical
Generating forecast...
£100.00 £50.10 £60.99 £71.88 £82.76 £93.65 £104.54 09 June 2024 15 November 2024 23 April 2025 29 September 2025 08 March 2026

Price Distribution

Price distribution over 638 days • 4 price ranges

Days at Price
Current Price
480 days · current 104 days 35 days 19 days 0 120 240 360 480 £55-64 £64-73 £82-91 £91-100 Days at Price

Price Analysis

Most common range: £55-64 (480 days, 75.2%)

Price range: £55 - £100

Price levels: 4 price ranges over 638 days

Description

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, Extraction of Programs from Proofs, and Algorithmic Aspects in Financial Mathematics. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
30 July 2018
Listed Since
21 May 2018

Barcode

No barcode data available

Similar Products You Might Like

Proof Complexity: 170 (Encyclopedia of Mathematics and its Applications, Series Number 170)
97% match

Proof Complexity: 170 (Encyclopedia of Mathematics and its Applications, Series Number 170)

Cambridge University Press

£115.46 16 Feb 2026
Proof and Computation: 139 (NATO ASI Subseries F:, 139)
97% match

Proof and Computation: 139 (NATO ASI Subseries F:, 139)

Springer

£77.43 28 Feb 2026
How to Prove It: A Structured Approach
97% match

How to Prove It: A Structured Approach

Cambridge University Press

£85.03 13 Jan 2026
Science Of Learning Mathematical Proofs, The: An Introductory Course
97% match

Science Of Learning Mathematical Proofs, The: An Introductory Course

World Scientific Publishing Company

£63.09 05 Mar 2026
The History of Mathematical Proof in Ancient Traditions
97% match

The History of Mathematical Proof in Ancient Traditions

Cambridge University Press

£40.56 16 Feb 2026
Mathematical Proofs: A Transition to Advanced Mathematics: Pearson New International Edition: A Transition to Advanced Mathematics
96% match

Mathematical Proofs: A Transition to Advanced Mathematics: Pearson New International Edition: A Transition to Advanced Mathematics

PEARSON EDUCATION

£70.99 12 Jan 2026
How to Read and Do Proofs: An Introduction to Mathematical Thought Processes
96% match

How to Read and Do Proofs: An Introduction to Mathematical Thought Processes

Wiley

£65.06 17 Mar 2026
Handbook of Proof Theory (Volume 137) (Studies in Logic and the Foundations of Mathematics, Volume 137)
96% match

Handbook of Proof Theory (Volume 137) (Studies in Logic and the Foundations of Mathematics, Volume 137)

Elsevier

£96.93 22 Feb 2026
Springer Advances in Mathematics Education Research on Proof
96% match

Springer Advances in Mathematics Education Research on Proof

Springer

£115.51 18 Apr 2026
Understanding Mathematical Proof
96% match

Understanding Mathematical Proof

CRC Press

£40.99 17 Apr 2026
Numbers & Proofs (Modular Mathematics Series)
96% match

Numbers & Proofs (Modular Mathematics Series)

Butterworth-Heinemann

£43.39 12 Jan 2026
Explanation and Proof in Mathematics: Philosophical and Educational Perspectives
96% match

Explanation and Proof in Mathematics: Philosophical and Educational Perspectives

Springer

£107.27 27 Feb 2026
Introduction to Mathematical Proofs: A Transition to Advanced Mathematics: 26 (Textbooks in Mathematics)
96% match

Introduction to Mathematical Proofs: A Transition to Advanced Mathematics: 26 (Textbooks in Mathematics)

CRC Press

£80.00 22 Feb 2026
Sets and Proofs: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 258 (London ... Lecture Note Series, Series Number 258)
96% match

Sets and Proofs: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 258 (London ... Lecture Note Series, Series Number 258)

Cambridge University Press

£50.59 22 Feb 2026
Proof, Logic and Formalization
96% match

Proof, Logic and Formalization

Routledge

£127.67 14 Jan 2026
Proof Techniques: The All in One Textbook (Haneul Choi Mathematics Textbooks)
96% match

Proof Techniques: The All in One Textbook (Haneul Choi Mathematics Textbooks)

£45.22 16 Feb 2026
A Bridge to Higher Mathematics (Textbooks in Mathematics)
95% match

A Bridge to Higher Mathematics (Textbooks in Mathematics)

CRC Press

£165.85 12 Jan 2026
Logical Foundations of Proof Complexity (Perspectives in Logic)
95% match

Logical Foundations of Proof Complexity (Perspectives in Logic)

Cambridge University Press

£54.59 15 Feb 2026
Proofs and Refutations: The Logic of Mathematical Discovery (Cambridge Philosophy Classics)
95% match

Proofs and Refutations: The Logic of Mathematical Discovery (Cambridge Philosophy Classics)

Cambridge University Press

£67.45 24 Feb 2026
A Transition to Proof: An Introduction to Advanced Mathematics (Textbooks in Mathematics)
95% match

A Transition to Proof: An Introduction to Advanced Mathematics (Textbooks in Mathematics)

CRC Press

£47.47 24 Feb 2026
Proof Complexity Generators: Series Number 497 (London Mathematical Society Lecture Note Series, Series Number 497)
95% match

Proof Complexity Generators: Series Number 497 (London Mathematical Society Lecture Note Series, Series Number 497)

Cambridge University Press

£40.86 16 Feb 2026
Practical Foundations of Mathematics: 59 (Cambridge Studies in Advanced Mathematics, Series Number 59)
95% match

Practical Foundations of Mathematics: 59 (Cambridge Studies in Advanced Mathematics, Series Number 59)

Cambridge University Press

£118.76 18 Apr 2026
Proofs Without Words: Exercises in Visual Thinking (Classroom Resource Materials)
95% match

Proofs Without Words: Exercises in Visual Thinking (Classroom Resource Materials)

Outskirts Press

£34.99 27 Jan 2026
Mathematical Reasoning: Writing and Proof
95% match

Mathematical Reasoning: Writing and Proof

PEARSON EDUCATION

£58.99 24 Feb 2026