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,585
Discovery Miles 35 850
Repayment Terms: R336 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,585 Discovery Miles 35 850 | Repayment Terms: R336 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 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
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 Metric Edition (Paperback, 9th edition): Dennis Zill
Differential Equations with…
Dennis Zill Paperback R1,290 R1,160 Discovery Miles 11 600
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,201 Discovery Miles 12 010
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,832 Discovery Miles 28 320
Differential Equations with Boundary Value Problems, International Metric Edition (Paperback, 8th edition): Dennis Zill
Differential Equations with Boundary…
Dennis Zill Paperback R1,310 R1,176 Discovery Miles 11 760
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 R436 Discovery Miles 4 360
Partial Differential Equations (Hardcover): Osamu Sano
Partial Differential Equations
Osamu Sano Hardcover R2,611 Discovery Miles 26 110
Partial Differential Equations (Paperback): Osamu Sano
Partial Differential Equations
Osamu Sano Paperback R1,604 Discovery Miles 16 040
Dissipative Lattice Dynamical Systems (Hardcover): Xiaoying Han, Peter Kloeden
Dissipative Lattice Dynamical Systems
Xiaoying Han, Peter Kloeden Hardcover R3,479 Discovery Miles 34 790
Nonlinear Functional Analysis and Applications (Hardcover): Jesus Garcia-Falset, Khalid Latrach
Nonlinear Functional Analysis and…
Jesus Garcia-Falset, Khalid Latrach Hardcover R4,936 Discovery Miles 49 360
Hormander Operators (Hardcover): Marco Bramanti, Luca Brandolini
Hormander Operators
Marco Bramanti, Luca Brandolini Hardcover R5,003 Discovery Miles 50 030
Qualitative Theory Of Odes: An Introduction To Dynamical Systems Theory (Hardcover): Henryk Zoladek, Raul Murillo
Qualitative Theory Of Odes: An…
Henryk Zoladek, Raul Murillo Hardcover R2,498 Discovery Miles 24 980
Cross Diffusion Systems - Dynamics, Coexistence and Persistence (Hardcover): Dung Le
Cross Diffusion Systems - Dynamics…
Dung Le Hardcover R4,423 Discovery Miles 44 230

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