| book details |

Applied Proof Theory: Proof Interpretations and their Use in Mathematics

By (author) Ulrich Kohlenbach

| on special |

normal price: R 5 383.95

Price: R 5 114.95

| add to trolley |

| book description |

This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. It covers both the necessary logical machinery behind the proof interpretations that are used in recent applications as well as - via extended case studies - carrying out some of these applications in full detail. This subject has historical roots in the 1950s. This book for the first time tells the whole story.

| product details |

| other options |

| back |

| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

Broken Country: AMAZON'S BOOK OF THE YEAR - THE MILLION-COPY BESTSELLER

Clare Leslie Hall
Paperback / softback
320 pages
was: R 395.95
now: R 355.95
Usually dispatched in 6-12 days

An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?

| more |

| add to trolley |

Theory & Practice

Michelle de Kretser
Hardback
192 pages
was: R 415.95
now: R 373.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock

| more |

| add to trolley |

The Correspondent

Virginia Evans
Hardback
288 pages
was: R 552.95
now: R 525.95
Available from overseas. Usually dispatched in 14 days

| more |

| add to trolley |

Exiles: Times book of the month 'Stanley Kubrick meets MR James'

Mason Coile
Paperback / softback
224 pages
was: R 520.95
now: R 468.95
Forthcoming

A terrifying locked-room mystery set in a remote outpost on Mars.

| more |

| add to trolley |