Applied Proof Theory: Proof Interpretations and their Use in Mathematics - Ulrich Kohlenbach
- Format: Broché Voir le descriptif
163,44 €
Produit Neuf
Ou 40,86 € /mois
- Livraison à 0,01 €
- Livré entre le 22 août et le 7 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783642096273_dbm
Nos autres offres
-
162,26 €
Produit Neuf
Ou 40,57 € /mois
- Livraison : 3,99 €
- Livré entre le 22 et le 28 août
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Applied Proof Theory: Proof Interpretations And Their Use In Mathematics de Ulrich Kohlenbach Format Broché - Livre Littérature Générale
0 avis sur Applied Proof Theory: Proof Interpretations And Their Use In Mathematics de Ulrich Kohlenbach Format Broché - Livre Littérature Générale
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Design For Motion
Neuf dès 104,46 €
-
Car Racing 1971
Neuf dès 129,00 €
-
The Religion Of The Mithras Cult In The Roman Empire
Neuf dès 214,66 €
-
Last Resort: Photographs Of New Brighton
Occasion dès 139,90 €
-
Ellen Von Unwerth. Heimat
Neuf dès 98,04 €
-
Porsche Racing Cars
Neuf dès 102,94 €
-
Georg Baselitz
Neuf dès 137,45 €
Occasion dès 91,61 €
-
The Evolution Of Complexity By Means Of Natural Selection
Neuf dès 136,68 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 90,00 €
-
Superman & Batman: Generations Omnibus
Neuf dès 84,18 €
-
Dictionnaire Chinois - Anglais
Occasion dès 99,00 €
-
Te Linde's Operative Gynecology
Neuf dès 103,99 €
-
Lexique Multilingue - Pâtisserie, Boulangerie, Chocolaterie-Confiserie, Glacerie
2 avis
Occasion dès 140,00 €
-
Clifford Numbers And Spinors
Neuf dès 234,81 €
-
Throne Of Glass Box Set (Paperback)
Neuf dès 84,00 €
Occasion dès 239,59 €
-
Laboratory Medicine In Psychiatry And Behavioral Science
Neuf dès 125,20 €
-
Quantum Chemistry, 2nd Edition
1 avis
Neuf dès 227,66 €
-
12 Division Headquarters, Branches And Services Royal Army Medical Corps Assistant Director Medical Services
Neuf dès 90,80 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
Shade, The Changing Man By Peter Milligan And Chris Bachalo Omnibus Vol. 1
Neuf dès 128,81 €
Produits similaires
Présentation Applied Proof Theory: Proof Interpretations And Their Use In Mathematics de Ulrich Kohlenbach Format Broché
- Livre Littérature Générale
Résumé :
Unwinding proofs ('Proof Mining').- Intuitionistic and classical arithmetic in all finite types.- Representation of Polish metric spaces.- Modified realizability.- Majorizability and the fan rule.- Semi-intuitionistic systems and monotone modified realizability.- G?del's functional ('Dialectica') interpretation.- Semi-intuitionistic systems and monotone functional interpretation.- Systems based on classical logic and functional interpretation.- Functional interpretation of full classical analysis.- A non-standard principle of uniform boundedness.- Elimination of monotone Skolem functions.- The Friedman A-translation.- Applications to analysis: general metatheorems I.- Case study I: Uniqueness proofs in approximation theory.- Applications to analysis: general metatheorems II.- Case study II: Applications to the fixed point theory of nonexpansive mappings.- Final comments....
Biographie:
Ulrich Kohlenbach has been Professor of Mathematics at the Technische Universit?t Darmstadt since 2004. He is a managing editor of the Annals of Pure and Applied Logic. ...
Sommaire:
Ulrich Kohlenbach has been Professor of Mathematics at the Technische Universit?t Darmstadt since 2004. He is a managing editor of the Annals of Pure and Applied Logic. ...
Détails de conformité du produit
Personne responsable dans l'UE