£57.05

De Gruyter Concepts of Proof in Mathematics, Philosophy, and Computer Science: 6 (Ontos Mathematical Logic, 6)

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

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

Historical
Generating forecast...
£70.52 £55.70 £58.94 £62.17 £65.40 £68.63 £71.87 13 March 2026 25 March 2026 07 April 2026 19 April 2026 02 May 2026

Price Distribution

Price distribution over 51 days • 3 price levels

Days at Price
Current Price
12 days · current 20 days 19 days 0 5 10 15 20 £57 £58 £71 Days at Price

Price Analysis

Most common price: £58 (20 days, 39.2%)

Price range: £57 - £71

Price levels: 3 different prices over 51 days

Description

A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototype of a deductive science. Proofs thus are utterly relevant for research, teaching and communication in mathematics and of particular interest for the philosophy of mathematics. In computer science, moreover, proofs have proved to be a rich source for already certified algorithms. This book provides the reader with a collection of articles covering relevant current research topics circled around the concept 'proof'. It tries to give due consideration to the depth and breadth of the subject by discussing its philosophical and methodological aspects, addressing foundational issues induced by Hilbert's Programme and the benefits of the arising formal notions of proof, without neglecting reasoning in natural language proofs and applications in computer science such as program extraction. About the Author Dieter Probst, Inst. of Computer Science, U. Bern, Switzerland.Peter Schuster, Dept. of Computer Science, U. Verona, Italy.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
30 June 2016
Listed Since
10 April 2015

Barcode

No barcode data available

Similar Products You Might Like

How to Prove It: A Structured Approach
97% match

How to Prove It: A Structured Approach

Cambridge University Press

£85.03 13 Jan 2026
Understanding Mathematical Proof
97% match

Understanding Mathematical Proof

CRC Press

£40.99 17 Apr 2026
Teaching and Learning Proof Across the Grades: A K-16 Perspective (Studies in Mathematical Thinking and Learning Series)
97% match

Teaching and Learning Proof Across the Grades: A K-16 Perspective (Studies in Mathematical Thinking and Learning Series)

Routledge

£52.99 25 Apr 2026
Proofs 101: An Introduction to Formal Mathematics
97% match

Proofs 101: An Introduction to Formal Mathematics

CRC Press

£53.32 09 May 2026
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 Technology in Mathematics Research and Teaching: 14 (Mathematics Education in the Digital Era, 14)
97% match

Proof Technology in Mathematics Research and Teaching: 14 (Mathematics Education in the Digital Era, 14)

Springer

£106.06 22 Apr 2026
Handbook of Proof Theory (Volume 137) (Studies in Logic and the Foundations of Mathematics, Volume 137)
97% match

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

Elsevier

£96.93 22 Feb 2026
The History of Mathematical Proof in Ancient Traditions
97% match

The History of Mathematical Proof in Ancient Traditions

Cambridge University Press

£142.39 02 May 2026
Proof, Logic and Formalization
96% match

Proof, Logic and Formalization

Routledge

£127.67 14 Jan 2026
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
96% match

Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

World Scientific Publishing Company

£58.86 08 Mar 2026
Springer - Proof Technology in Mathematics Research and Teaching
96% match

Springer - Proof Technology in Mathematics Research and Teaching

Springer

£107.98 26 Apr 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
The History of Mathematical Proof in Ancient Traditions
96% match

The History of Mathematical Proof in Ancient Traditions

Cambridge University Press

£40.56 16 Feb 2026
Proof Analysis: A Contribution to Hilbert's Last Problem
96% match

Proof Analysis: A Contribution to Hilbert's Last Problem

Cambridge University Press

£81.77 02 May 2026
Science Of Learning Mathematical Proofs, The: An Introductory Course
96% match

Science Of Learning Mathematical Proofs, The: An Introductory Course

World Scientific Publishing Company

£63.09 05 Mar 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
Proof and Computation: 139 (NATO ASI Subseries F:, 139)
96% match

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

Springer

£77.43 28 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
Proofs and Ideas: A Prelude to Advanced Mathematics (AMS/MAA Textbooks)
95% match

Proofs and Ideas: A Prelude to Advanced Mathematics (AMS/MAA Textbooks)

£73.00 08 May 2026
Numbers & Proofs (Modular Mathematics Series)
95% match

Numbers & Proofs (Modular Mathematics Series)

Butterworth-Heinemann

£43.39 12 Jan 2026
A Logical Introduction to Proof
95% match

A Logical Introduction to Proof

Springer

£56.23 22 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 Proofs: A Transition to Advanced Mathematics: Pearson New International Edition: A Transition to Advanced Mathematics
95% match

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

PEARSON EDUCATION

£70.99 12 Jan 2026