Bookshelf
study guides books reading lists e-books
home sign in my orders my e-books my trolley my account contact
| can't find it |

| browse books |
books
 

books

| book details |

Applied Proof Theory: Proof Interpretations and their Use in Mathematics

By (author) Ulrich Kohlenbach

| on special |

normal price: R 3,698.95

Price: R 3,328.95

| 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 |



Normally shipped | Available from overseas. Delivery time is 14 - 21 days
Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published date | 21 Oct 2010
Language |
Format | Paperback / softback
Pages | 536
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-6420-9627-3
Readership Age |
BISAC | mathematics / logic

| other options |



Normally shipped | Available from overseas. Usually dispatched in 14 days
Readership Age |
Normal Price | R 5,973.95
 Price | R 5,376.95 | on special |

| back |
| your trolley |
To view the items in your trolley please sign in.
| sign in |

| specials |

The Memory Collectors: A Novel

Dete Meserve
Paperback / softback
320 pages


Enquiries only

The Colonialist: The Vision of Cecil Rhodes

William Kelleher Storey
Paperback / softback
528 pages
was: R 425.95
now: R 382.95
Usually dispatched in 6-12 days
This first comprehensive biography of Cecil Rhodes in a generation illuminates Rhodes’s vision for the expansion of imperialism in southern Africa, connecting politics and industry to internal development, and examines how this fueled a lasting, white-dominated colonial society.

The Coming Wave: AI, Power and Our Future

Mustafa Suleyman
Paperback / softback
352 pages
was: R 295.95
now: R 265.95
Stock is usually dispatched in 6-12 days from date of order

Survive the AI Apocalypse: A guide for solutionists

Bronwen Williams
Paperback / softback
232 pages
was: R 340.95
now: R 306.95
Forthcoming
Let's stare the future down and, instead of fearing AI, become solutionists.
 
Copyright 2025 |  terms and conditions