Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic

Buy Now

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Hardcover, 2008 ed.) Loot Price: R3,934

Discovery Miles 39 340

Repayment Terms: R369 pm x 12*

Add to cart

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Hardcover, 2008 ed.): Ulrich Kohlenbach

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Hardcover, 2008 ed.)

Ulrich Kohlenbach

Series: Springer Monographs in Mathematics

(sign in to rate)

Loot Price R3,934 Discovery Miles 39 340 | Repayment Terms: R369 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Springer Monographs in Mathematics
Release date:	May 2008
First published:	2008
Authors:	Ulrich Kohlenbach
Dimensions:	235 x 155 x 36mm (L x W x T)
Format:	Hardcover
Pages:	536
Edition:	2008 ed.
ISBN-13:	978-3-540-77532-4
Categories:	Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Promotions
LSN:	3-540-77532-3
Barcode:	9783540775324