Importo totale (1 articolo articoli):
Destinazione ordine:
justus diller (19 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (19)
- 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 (12)
- Come nuovo, Ottimo o Quasi ottimo (2)
- Molto buono o Buono (4)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (1)
Legatura
Ulteriori caratteristiche
- Prima ed. (1)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (7)
- Non Print on Demand (15)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 Lecture Notes in Mathematics, 500
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
EUR 10,95
Spedizione EUR 15,95
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloBroschiert. Condizione: Gut. 383 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 590.
-
ISILC Proof Theory Symposion Dedicated to Kurt Schütte on the Occasion of His 65th Birthday / Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Lingua: Inglese
Editore: Berlin ; Heidelberg : Springer, 1975
ISBN 10: 354007533X ISBN 13: 9783540075332
Da: avelibro OHG, Dinkelscherben, Germania
Membro dell'associazione: BOEV
Valutazione del venditore 5 su 5 stelle
EUR 26,00
Spedizione EUR 10,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello24 x 16,5 cm. Condizione: Gut. Lecture Notes in Mathematics 500. VIII, 383 Pages ; With Illustrations Innen sauberer, guter Zustand. Softcover, Broschur mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). Einband angestaubt und Papierbedingt leicht gebräunt. Englische Sprache - Original Paperback with Library label. Shop-soiled. Inside with Library stamps, Paper little bronzy, in good condition. English Language MIG-27-02A|S25 Sprache: Englisch Gewicht in Gramm: 560.
-
(eds.) ISILC - Proof Theory Symposium. Dedicated to Karl Schütte on the Occasion of His 65th Birthday.
Da: Antiquariat Renner OHG, Albstadt, Germania
Membro dell'associazione: BOEV
Valutazione del venditore 5 su 5 stelle
EUR 15,00
Spedizione EUR 45,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Gut. Berlin, Springer 1975. gr.8°. VI, 383 p. Pbck. Lecture Notes in Mathematrics, 500.- In good condition.
-
ISILC Proof Theory Symposion: Dedicated to Kurt Schutte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
Da: George Cross Books, Lexington, MA, U.S.A.
Membro dell'associazione: IOBA
Valutazione del venditore 5 su 5 stelle
Prima edizione
Paperback. First edition. Very Good/Wraps (21685) Slight warp, but clean, tight, unmarked, light cover wear only. Lectures Notes in Mathematics, Number 500. Most contributions in English, a few German. A Festschrift for Kurt Schuette's 65th birthday, contributions by many of his collaborators. .
-
Functional Interpretations: From The Dialectica Interpretation To Functional Interpretations Of Analysis And Set Theory
Libro 2 di 3: Mathematical Logic and FoundatLingua: Inglese
Editore: World Scientific Publishing Company, 2020
ISBN 10: 9814551392 ISBN 13: 9789814551397
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Functional Interpretations
Libro 2 di 3: Mathematical Logic and FoundatLingua: Inglese
Editore: World Scientific Publishing Company, 2020
ISBN 10: 9814551392 ISBN 13: 9789814551397
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Functional Interpretations: From The Dialectica Interpretation To Functional Interpretations Of Analysis And Set Theory
Libro 2 di 3: Mathematical Logic and FoundatLingua: Inglese
Editore: World Scientific Publishing Co Pte Ltd, 2019
ISBN 10: 9814551392 ISBN 13: 9789814551397
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Functional Interpretations: From The Dialectica Interpretation To Functional Interpretations Of Analysis And Set Theory
Libro 2 di 3: Mathematical Logic and FoundatLingua: Inglese
Editore: World Scientific Publishing Co Pte Ltd, 2019
ISBN 10: 9814551392 ISBN 13: 9789814551397
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 103,40
Spedizione EUR 5,82
Spedito da Regno Unito a U.S.A.Quantità: 15 disponibili
Aggiungi al carrelloHRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Functional Interpretations: From The Dialectica Interpretation To Functional Interpretations Of Analysis And Set Theory
Libro 2 di 3: Mathematical Logic and FoundatLingua: Inglese
Editore: World Scientific Publishing Company, 2020
ISBN 10: 9814551392 ISBN 13: 9789814551397
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Functional Interpretations
Libro 2 di 3: Mathematical Logic and FoundatLingua: Inglese
Editore: World Scientific Publishing Company, 2020
ISBN 10: 9814551392 ISBN 13: 9789814551397
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Functional Interpretations
Libro 2 di 3: Mathematical Logic and FoundatLingua: Inglese
Editore: World Scientific Publishing Company, 2020
ISBN 10: 9814551392 ISBN 13: 9789814551397
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 103,39
Spedizione EUR 17,38
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
-
FUNCTIONAL INTERPRETATIONS: FROM THE DIALECTICA INTERPRETATION TO FUNCTIONAL INTERPRETATIONS OF ANALYSIS AND SET THEORY
Libro 2 di 3: Mathematical Logic and FoundatLingua: Inglese
Editore: World Scientific Publishing Company, 2020
ISBN 10: 9814551392 ISBN 13: 9789814551397
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 115,61
Spedizione EUR 13,88
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Functional Interpretations
Libro 2 di 3: Mathematical Logic and FoundatLingua: Inglese
Editore: World Scientific Publishing Company, 2020
ISBN 10: 9814551392 ISBN 13: 9789814551397
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 113,91
Spedizione EUR 17,38
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Functional Interpretations: From the Dialectica Interpretation to Interpretations of Classical and Constructive Set Theory
Libro 2 di 3: Mathematical Logic and FoundatLingua: Inglese
Editore: World Scientific Pub Co Inc, 2019
ISBN 10: 9814551392 ISBN 13: 9789814551397
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 138,50
Spedizione EUR 11,58
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 237 pages. 9.25x6.25x1.00 inches. In Stock.
-
![Immagine del venditore per Grundlagen der Geometrie. [= Göschens Lehrbücherei, Bd. 17] venduto da Antiquariat hinter der Stadtmauer](https://pictures.abebooks.com/inventory/md/md30998457498.jpg)
Grundlagen der Geometrie. [= Göschens Lehrbücherei, Bd. 17]
Lingua: Tedesco
Editore: Berlin, De Gruyter,, 1967
Da: Antiquariat hinter der Stadtmauer, Hann. Münden, Germania
Valutazione del venditore 5 su 5 stelle
EUR 10,00
Spedizione EUR 72,75
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover/Paperback. Condizione: Gut. 2. Aufl. 245 S., 24x16 cm OBroschur, kart. 123 s/w Ill. Einband leicht gebräunt, Kanten etwas berieben/bestoßen, Rücken leicht gerundet; gutes Exemplar. Sprache: Deutsch Gewicht in Gramm: 400.
-
Functional Interpretations: From the Dialectica Interpretation to Interpretations of Classical and Constructive Set Theory
Libro 2 di 3: Mathematical Logic and FoundatLingua: Inglese
Editore: World Scientific Pub Co Inc, 2019
ISBN 10: 9814551392 ISBN 13: 9789814551397
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 104,62
Spedizione EUR 11,58
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 237 pages. 9.25x6.25x1.00 inches. In Stock. This item is printed on demand.
-
EUR 97,52
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. InhaltsverzeichnisArithmetic: Primitive Recursive Functionals &#923- (Diller - Nahm) Interpretation of Heyting Arithmetic in Finite Types The Dialectica Interpretation and Equality Functionals Simultaneous Recursions in Linear Ty.
-
EUR 101,15
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. FUNCTIONAL INTERPRETATIONS | Diller Justus | Buch | Gebunden | Englisch | 2019 | World Scientific | EAN 9789814551397 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
-
EUR 120,84
Spedizione EUR 62,56
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to Gödel's Dialectica interpretation of Heyting arithmetic which replaces nested quantification by higher type operations and thus reduces the consistency problem for arithmetic to the problem of computability of primitive recursive functionals of finite types. Regular functional interpretations, in particular the Dialectica interpretation and its generalization to finite types, the Diller-Nahm interpretation, are studied on Heyting as well as Peano arithmetic in finite types and extended to functional interpretations of constructive as well as classical systems of analysis and set theory. Kreisel's modified realization and Troelstra's hybrids of it are presented as interpretations of Heyting arithmetic and extended to constructive set theory, both in finite types. They serve as background for the construction of hybrids of the Diller-Nahm interpretation of Heyting arithmetic and constructive set theory, again in finite types. All these functional interpretations yield relative consistency results and closure under relevant rules of the theories in question as well as axiomatic characterizations of the functional translations.
