home
sign in
my orders
my e-books
my trolley
my account
contact
keyword
isbn13
author
title
Available
| can't find it |
| browse books |
Textbooks
books
antiques & collectibles
architecture
art
biography & autobiography
body, mind & spirit
business & economics
comics & graphic novels
computers
cooking
crafts & hobbies
drama
education
family & relationships
fiction
foreign language study
games
gardening
health & fitness
history
house & home
humor
juvenile fiction
juvenile nonfiction
language arts & disciplines
law
literary collections
literary criticism
mathematics
medical
music
nature
non-classifiable
performing arts
pets
philosophy
photography
poetry
political science
psychology
reference
religion
science
self-help
social science
sports & recreation
study aids
technology
transportation
travel
true crime
books
| book details |
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
By (author)
Ulrich Kohlenbach
| on special |
normal price: R 5 349.95
Price: R 4 814.95
| add to trolley |
processing...
| 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. Usually dispatched in 14 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 |
| back |
| your trolley |
To view the items in your trolley please sign in.
| sign in |
| specials |
The Correspondent
Virginia Evans
Hardback
288 pages
was: R 450.95
now: R 405.95
Available from overseas. Usually dispatched in 3 to 6 weeks
| more |
| add to trolley |
processing...
Dungeon Crawler Carl
Matt Dinniman
Paperback / softback
480 pages
was: R 509.95
now: R 448.95
Available from overseas. Usually dispatched in 14 days
| more |
| add to trolley |
processing...
Remarkably Bright Creatures
Shelby Van Pelt
Paperback / softback
384 pages
was: R 509.95
now: R 458.95
Available from overseas. Usually dispatched in 14 days
| more |
| add to trolley |
processing...
Broken Country: AMAZON'S BOOK OF THE YEAR - THE MILLION-COPY BESTSELLER
Clare Leslie Hall
Paperback / softback
320 pages
Enquiries only
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
| more |
| enquire |
processing...
Copyright 2026
|
terms and conditions
