Applied proof theory interpretations (20 résultats)
Langue : anglais
Edité par Springer, 2010
Série : Livre 51 sur 187 - Springer Monographs in Mathematics
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 116,44
EUR 13,98 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
Langue : anglais
Edité par Springer 2010-10, 2010
Série : Livre 51 sur 187 - Springer Monographs in Mathematics
- Couverture souple
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 114,27
EUR 18,07 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
PF. Etat : New.
Langue : anglais
Edité par Springer, 2008
Série : Livre 51 sur 187 - Springer Monographs in Mathematics
- Couverture rigide
Vendeur : Studibuch, Stuttgart, AllemagneStudibuch
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 74,06
EUR 62,30 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
hardcover. Etat : Wie neu. 556 Seiten; 9783540775324.1 Gewicht in Gramm: 4.
Langue : anglais
Edité par Springer, 2008
Série : Livre 51 sur 187 - Springer Monographs in Mathematics
- Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 141,05
EUR 13,98 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
Langue : anglais
Edité par Springer, 2010
Série : Livre 51 sur 187 - Springer Monographs in Mathematics
- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 122,15
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Taschenbuch. Etat : Neu. Applied Proof Theory: Proof Interpretations and their Use in Mathematics | Ulrich Kohlenbach | Taschenbuch | Springer Monographs in Mathematics | xx | Englisch | 2010 | Springer | EAN 9783642096273 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot…]hartmann[at]springer[dot]com | Anbieter: preigu.
Langue : anglais
Edité par Springer, 2008
Série : Livre 51 sur 187 - Springer Monographs in Mathematics
- Couverture rigide
Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Comme neuf
EUR 179,08
EUR 29,17 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Langue : anglais
Edité par Springer, 2010
Série : Livre 51 sur 187 - Springer Monographs in Mathematics
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 146,98
EUR 64,16 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others). This applied approach is based on lo…gical transformations (so-called proof interpretations) and concerns the extraction of effective data (such as bounds) from prima facie ineffective proofs as well as new qualitative results such as independence of solutions from certain parameters, generalizations of proofs by elimination of premises. The book first develops the necessary logical machinery emphasizing novel forms of Gödel's famous functional ('Dialectica') interpretation.It then establishes general logical metatheorems that connect these techniques with concrete mathematics. Finally, two extended case studies (one in approximation theory and one in fixed point theory) show in detail how this machinery can be applied to concrete proofs in different areas of mathematics.
Langue : anglais
Edité par Springer, 2008
Série : Livre 51 sur 187 - Springer Monographs in Mathematics
- Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 148,90
EUR 64,96 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others). This applied approach is based on logical t…ransformations (so-called proof interpretations) and concerns the extraction of effective data (such as bounds) from prima facie ineffective proofs as well as new qualitative results such as independence of solutions from certain parameters, generalizations of proofs by elimination of premises. The book first develops the necessary logical machinery emphasizing novel forms of Gödel's famous functional ('Dialectica') interpretation.It then establishes general logical metatheorems that connect these techniques with concrete mathematics. Finally, two extended case studies (one in approximation theory and one in fixed point theory) show in detail how this machinery can be applied to concrete proofs in different areas of mathematics.
Langue : anglais
Edité par Springer, 2008
Série : Livre 51 sur 187 - Springer Monographs in Mathematics
- Couverture rigide
Vendeur : BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, AllemagneBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 229,90
EUR 39,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : gut. 2008. Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics) In deutscher Sprache. pages.
Vendeur : Berliner Büchertisch eG, Berlin, AllemagneBerliner Büchertisch eG
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 71,98
EUR 100,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Gebundene Ausgabe. Etat : Gut. 2008. 556 S. Gutes Exemplar, geringe Gebrauchsspuren, Cover/SU berieben/bestoßen, Schnitt/Papier nachgedunkelt, innen alles in Ordnung. A260126am59 ISBN: 9783540775324 Sprache: Englisch Gewicht in Gramm: 2100.
Langue : anglais
Edité par Springer, 2010
Série : Livre 51 sur 187 - Springer Monographs in Mathematics
- Couverture souple
- impression à la demande
Vendeur : Brook Bookstore On Demand, Napoli, NA, ItalieBrook Bookstore On Demand
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 110,26
EUR 8,00 expéditionExpédition depuis Italie vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : new. Questo è un articolo print on demand.
Langue : anglais
Edité par Springer, 2010
Série : Livre 51 sur 187 - Springer Monographs in Mathematics
- Couverture souple
- impression à la demande
Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 122,54
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 10 disponible(s)
Etat : Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.
Langue : anglais
Edité par Springer, 2008
Série : Livre 51 sur 187 - Springer Monographs in Mathematics
- Couverture rigide
- impression à la demande
Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 122,54
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 10 disponible(s)
Etat : Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.
Langue : anglais
Edité par Springer, 2008
Série : Livre 51 sur 187 - Springer Monographs in Mathematics
- Couverture rigide
- impression à la demande
Vendeur : Brook Bookstore On Demand, Napoli, NA, ItalieBrook Bookstore On Demand
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 110,26
EUR 20,00 expéditionExpédition depuis Italie vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : new. Questo è un articolo print on demand.
Langue : anglais
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 2010, 2010
Série : Livre 51 sur 187 - Springer Monographs in Mathematics
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 139,09
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others). This applied approac…h is based on logical transformations (so-called proof interpretations) and concerns the extraction of effective data (such as bounds) from prima facie ineffective proofs as well as new qualitative results such as independence of solutions from certain parameters, generalizations of proofs by elimination of premises. The book first develops the necessary logical machinery emphasizing novel forms of Gödel's famous functional ('Dialectica') interpretation.It then establishes general logical metatheorems that connect these techniques with concrete mathematics. Finally, two extended case studies (one in approximation theory and one in fixed point theory) show in detail how this machinery can be applied to concrete proofs in different areas of mathematics. 556 pp. Englisch.
Langue : anglais
Edité par Springer Berlin Heidelberg Mai 2008, 2008
Série : Livre 51 sur 187 - Springer Monographs in Mathematics
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 139,09
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others). This applied approach is ba…sed on logical transformations (so-called proof interpretations) and concerns the extraction of effective data (such as bounds) from prima facie ineffective proofs as well as new qualitative results such as independence of solutions from certain parameters, generalizations of proofs by elimination of premises. The book first develops the necessary logical machinery emphasizing novel forms of Gödel's famous functional ('Dialectica') interpretation.It then establishes general logical metatheorems that connect these techniques with concrete mathematics. Finally, two extended case studies (one in approximation theory and one in fixed point theory) show in detail how this machinery can be applied to concrete proofs in different areas of mathematics. 556 pp. Englisch.
Langue : anglais
Edité par Springer Berlin Heidelberg, 2010
Série : Livre 51 sur 187 - Springer Monographs in Mathematics
- Couverture souple
- impression à la demande
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 118,61
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First book on the subject at allUlrich Kohlenbach has been Professor of Mathematics at the Technische Universitaet Darmstadt since 2004. He is a managing editor of the Annals of Pure and Applied Logic . This is the fi…rst treatment in book fo.
Langue : anglais
Edité par Springer Berlin Heidelberg, 2008
Série : Livre 51 sur 187 - Springer Monographs in Mathematics
- Couverture rigide
- impression à la demande
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 118,61
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First book on the subject at allUlrich Kohlenbach has been Professor of Mathematics at the Technische Universitaet Darmstadt since 2004. He is a managing editor of the Annals of Pure and Applied Logic . This… is the first treatment in book fo.
Langue : anglais
Edité par Springer, Springer Mai 2008, 2008
Série : Livre 51 sur 187 - Springer Monographs in Mathematics
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 139,09
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Buch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 556 pp. Englisch.
Langue : anglais
Edité par Springer, Springer Vieweg Okt 2010, 2010
Série : Livre 51 sur 187 - Springer Monographs in Mathematics
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 139,09
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 m…odified 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 556 pp. Englisch.
