Importo totale (1 articolo articoli):
Destinazione ordine:
9783540775324 - Applied Proof Theory: Proof Interpretations and Their Use in Mathematics di Kohlenbach, U. (11 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (11)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (9)
- Come nuovo, Ottimo o Quasi ottimo (1)
- Molto buono o Buono (1)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (5)
- Non Print on Demand (5)
Lingua (1)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20 (Nessun altro risultato corrispondente a questo perfezionamento)
- EUR 20 a EUR 45 (Nessun altro risultato corrispondente a questo perfezionamento)
- Superiore a EUR 45
Spedizione gratuita
- Spedizione gratuita in U.S.A. (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)
Libro 51 di 187: Springer Monographs in MathematicsDa: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 140,13
Spedizione EUR 13,89
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)
Libro 51 di 187: Springer Monographs in MathematicsDa: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 142,09
Spedizione EUR 28,98
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. Like New. book.
-
Applied Proof Theory
Libro 51 di 187: Springer Monographs in MathematicsDa: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 556.
-
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Libro 51 di 187: Springer Monographs in MathematicsEUR 139,09
Spedizione EUR 64,96
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: 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 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.
-
Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics) U. Kohlenbach
Da: Berliner Büchertisch eG, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
EUR 98,00
Spedizione EUR 100,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloGebundene Ausgabe. Condizione: 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.
-
Applied Proof Theory: Proof Interpretations and their Use in Mathematics (eng)
Libro 51 di 187: Springer Monographs in MathematicsDa: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 3 su 5 stelle
EUR 110,26
Spedizione EUR 20,00
Spedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
-
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Libro 51 di 187: Springer Monographs in MathematicsLingua: Inglese
Editore: Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540775323 ISBN 13: 9783540775324
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 139,09
Spedizione EUR 23,00
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: 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 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.
-
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Libro 51 di 187: Springer Monographs in MathematicsLingua: Inglese
Editore: Springer Berlin Heidelberg, 2008
ISBN 10: 3540775323 ISBN 13: 9783540775324
EUR 118,61
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloGebunden. Condizione: 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.
-
Applied Proof Theory
Libro 51 di 187: Springer Monographs in MathematicsDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 196,83
Spedizione EUR 7,53
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 556 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
-
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Libro 51 di 187: Springer Monographs in MathematicsLingua: Inglese
Editore: Springer, Springer Mai 2008, 2008
ISBN 10: 3540775323 ISBN 13: 9783540775324
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 139,09
Spedizione EUR 60,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: 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.
-
Applied Proof Theory
Libro 51 di 187: Springer Monographs in MathematicsDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 198,67
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 556.
