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 > Mathematical foundations > Mathematical logic

Buy Now

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Hardcover, 2008 ed.) Loot Price: R3,919
Discovery Miles 39 190
Repayment Terms: R367 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,919 Discovery Miles 39 190 | Repayment Terms: R367 pm x 12*

Bookmark and Share

Expected to ship within 12 - 17 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: 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

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

Principia Mathematica (Hardcover): Russell Bertrand Russell
Principia Mathematica
Russell Bertrand Russell Hardcover R1,248 Discovery Miles 12 480
Principia Mathematica (Hardcover): Russell Bertrand Russell
Principia Mathematica
Russell Bertrand Russell Hardcover R1,287 Discovery Miles 12 870
Logic from Russell to Church, Volume 5 (Hardcover, 5th edition): Dov M. Gabbay, John Woods
Logic from Russell to Church, Volume 5
Dov M. Gabbay, John Woods Hardcover R5,472 Discovery Miles 54 720
Elementary Lessons in Logic - Deductive and Inductive: With Copious Questions and Examples and a Vocabulary of Logical Terms...
Elementary Lessons in Logic - Deductive…
William Stanley Jevons Paperback R560 Discovery Miles 5 600
The Art of Logic - How to Make Sense in a World that Doesn't (Paperback): Eugenia Cheng
The Art of Logic - How to Make Sense in…
Eugenia Cheng Paperback  (1)
 R355 R290 Discovery Miles 2 900
The Facts Matter - Essays on Logic and Cognition in Honour of Rineke Verbrugge (Paperback): Sujata Ghosh
The Facts Matter - Essays on Logic and…
Sujata Ghosh Paperback R407 Discovery Miles 4 070
Best Books gegradeerde leesreeks: Vlak 1 Boek 2: Gr 2: Leesboek - Huistaal (Afrikaans, Paperback): Best Books
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R90 R78 Discovery Miles 780
From Quantum Information to Musical Semantics (Paperback): Maria Luisa Dalla Chiara, Roberto Giuntini, Elenora Negri
From Quantum Information to Musical…
Maria Luisa Dalla Chiara, Roberto Giuntini, … Paperback R507 Discovery Miles 5 070
Mathematical Proofs: A Transition to Advanced Mathematics - Pearson New International Edition (Paperback, 3rd edition): Gary...
Mathematical Proofs: A Transition to…
Gary Chartrand, Albert Polimeni, … Paperback R2,288 Discovery Miles 22 880
Algebras, Lattices, Varieties - Volume III (Paperback): Ralph S Freese, Ralph N. McKenzie, George F. McNulty, Walter F. Taylor
Algebras, Lattices, Varieties - Volume…
Ralph S Freese, Ralph N. McKenzie, … Paperback R3,155 Discovery Miles 31 550
Theory and Applications of NeutroAlgebras as Generalizations of Classical Algebras (Hardcover): Florentin Smarandache, Madeline...
Theory and Applications of…
Florentin Smarandache, Madeline Al-Tahan Hardcover R7,372 Discovery Miles 73 720
The Scientific Art of Logic (Hardcover): Edward D Simmons
The Scientific Art of Logic
Edward D Simmons Hardcover R1,407 R1,147 Discovery Miles 11 470

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