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

Your cart is empty

Books > Science & Mathematics > Mathematics > Calculus & mathematical analysis > Differential equations

Buy Now

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Paperback, Softcover reprint of hardcover 1st ed. 2008) Loot Price: R3,402
Discovery Miles 34 020
Repayment Terms: R319 pm x 12*
Add to cart
Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Paperback, Softcover reprint of hardcover 1st ed....

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Paperback, Softcover reprint of hardcover 1st ed. 2008)

Ulrich Kohlenbach

Series: Springer Monographs in Mathematics

 (sign in to rate)
Loot Price R3,402 Discovery Miles 34 020 | Repayment Terms: R319 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

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: October 2010
First published: 2008
Authors: Ulrich Kohlenbach
Dimensions: 235 x 155 x 29mm (L x W x T)
Format: Paperback
Pages: 536
Edition: Softcover reprint of hardcover 1st ed. 2008
ISBN-13: 978-3-642-09627-3
Categories: Books > Science & Mathematics > Mathematics > Mathematical foundations > General
Books > Science & Mathematics > Mathematics > Calculus & mathematical analysis > Functional analysis
Books > Science & Mathematics > Mathematics > Calculus & mathematical analysis > Differential equations
Promotions
LSN: 3-642-09627-1
Barcode: 9783642096273

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Differential Equations with Boundary-Value Problems, International Edition (Paperback, 8th edition): Warren Wright, Dennis Zill
Differential Equations with…
Warren Wright, Dennis Zill Paperback  (1)
 R1,339 R1,246 Discovery Miles 12 460
Differential Equations with Linear Algebra (Hardcover): Matthew R. Boelkins, Jack L. Goldberg, Merle C Potter
Differential Equations with Linear…
Matthew R. Boelkins, Jack L. Goldberg, … Hardcover R2,869 Discovery Miles 28 690
Multigrid (Hardcover): Ulrich Trottenberg, Cornelius W. Oosterlee, Anton Schuller
Multigrid
Ulrich Trottenberg, Cornelius W. Oosterlee, … Hardcover R2,249 Discovery Miles 22 490
Calculus and Ordinary Differential Equations (Paperback): David Pearson
Calculus and Ordinary Differential…
David Pearson Paperback R799 Discovery Miles 7 990
Advances in Numerical Analysis: Volume I: Nonlinear Partial Equations and Dynamical Systems (Hardcover): Will Light
Advances in Numerical Analysis: Volume…
Will Light Hardcover R4,117 Discovery Miles 41 170
Differential Equations with Boundary Value Problems, International Metric Edition (Paperback, 8th edition): Dennis Zill
Differential Equations with Boundary…
Dennis Zill Paperback R1,311 R1,221 Discovery Miles 12 210
Handbook of Differential Equations (Hardcover, 3rd edition): Daniel Zwillinger
Handbook of Differential Equations
Daniel Zwillinger Hardcover R2,570 Discovery Miles 25 700
Schaum's Outline of Differential Equations, Fifth Edition (Paperback, 5th edition): Richard Bronson, Gabriel B Costa
Schaum's Outline of Differential…
Richard Bronson, Gabriel B Costa Paperback R476 Discovery Miles 4 760
Boundary Elements and other Mesh Reduction Methods XLI (Hardcover): A. H.-D. Cheng, S. Syngellakis
Boundary Elements and other Mesh…
A. H.-D. Cheng, S. Syngellakis Hardcover R3,109 Discovery Miles 31 090
A Collection of Papers On Chaos Theory and Its Applications (Hardcover): Paul Bracken, Dimo I. Uzunov
A Collection of Papers On Chaos Theory…
Paul Bracken, Dimo I. Uzunov Hardcover R3,106 Discovery Miles 31 060
A Differential Equation from a Parallel Universe (Hardcover): Julio Cesar Martinez Romero
A Differential Equation from a Parallel…
Julio Cesar Martinez Romero Hardcover R809 Discovery Miles 8 090
Nonlinear Systems - Theoretical Aspects and Recent Applications (Hardcover): Walter Legnani, Terry E. Moschandreou
Nonlinear Systems - Theoretical Aspects…
Walter Legnani, Terry E. Moschandreou Hardcover R3,113 Discovery Miles 31 130

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners