Verwandte Artikel zu Extensional Gödel Functional Interpretation: A Consistensy...
Extensional Gödel Functional Interpretation: A Consistensy Proof of Classical Analysis: 306 (Lecture Notes in Mathematics) - Softcover
- VerlagSpringer
- Erscheinungsdatum2009
- ISBN 10 3540061193
- ISBN 13 9783540061199
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten172
- Kontakt zum HerstellerNicht verfügbar
Neu kaufen
Diesen Artikel anzeigen
EUR 26,74
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Extensional Gödel Functional Interpretation: A Consistensy...
Foto des Verkäufers
Extensional Gödel Functional Interpretation: A Consistensy Proof of Classical Analysis (Lecture Notes in Mathematics, 306, Band 306)
Anbieter: Studibuch, Stuttgart, Deutschland
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Gut. Seiten; 9783540061199.3 Gewicht in Gramm: 500. Bestandsnummer des Verkäufers 743994
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Extensional Gödel Functional Interpretation : A Consistensy Proof of Classical Analysis
Verlag:
Springer Berlin Heidelberg, 1973
ISBN 10: 3540061193
ISBN 13: 9783540061199
Gebraucht
Softcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 172 | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 4132967/202
Anzahl: 1 verfügbar
Foto des Verkäufers
Extensional Gödel Functional Interpretation. A Consistensy Proof of Classical Analysis.
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Verkäuferbewertung 5 von 5 Sternen
166 pages Ex-Library book in good condition. 9783540061199 Sprache: Englisch Gewicht in Gramm: 440. Bestandsnummer des Verkäufers 1159983
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Extensional Gödel Functional Interpretation: A Consistensy Proof of Classical Analysis (Lecture Notes in Mathematics)
Anbieter: Die Wortfreunde - Antiquariat Wirthwein Matthias Wirthwein, Mannheim, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Taschenbuch. 172 Seiten 1973. Stempel der Universität Heidelberg, sonst gutes Exemplar. Sprache: Englisch Gewicht in Gramm: 273. Bestandsnummer des Verkäufers 38042
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Extensional Gödel Functional Interpretation: A Consistensy Proof of Classical Analysis (Lecture Notes in Mathematics)
Anbieter: Die Wortfreunde - Antiquariat Wirthwein Matthias Wirthwein, Mannheim, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Taschenbuch. 172 Seiten 1973. Sehr gutes Exemplar. Sprache: Englisch Gewicht in Gramm: 273. Bestandsnummer des Verkäufers 38041
Anzahl: 1 verfügbar
Foto des Verkäufers
Extensional Gödel Functional Interpretation. A Consistensy Proof of Classical Analysis. (= Lecture Notes in Mathematics, Band 306).
Verlag:
Springer Berlin, 1973
ISBN 10: 3540061193
ISBN 13: 9783540061199
Gebraucht
8° , Softcover/Paperback
Erstausgabe
Anbieter: Antiquariat Deinbacher, Murstetten, Österreich
Verkäuferbewertung 4 von 5 Sternen
8° , Softcover/Paperback. 1.Auflage,. 172 Seiten Einband etwas berieben, Bibl.Ex., innen guter und sauberer Zustand 9783540061199 Sprache: Englisch Gewicht in Gramm: 249. Bestandsnummer des Verkäufers 154311
Anzahl: 1 verfügbar
Foto des Verkäufers
Extensional Gödel Functional Interpretation : A Consistensy Proof of Classical Analysis
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - and survey.- A formal system of classical analysis.- Elimination of extensionality.- Translation of classical into intuitionistic approximated theories.- G¿del's functional interpretation in the narrower sense.- The calculus T of the primitive recursive functionals.- Functional interpretation of classical arithmetic plus (ER)-qf, (AC)-qf and functional interpretation in the narrower sense of Heyting-analysis plus (ER)-qf, (MP), in T.- The calculus T BR of the bar recursive functionals.- Functional interpretation of classical (AC)o-, ( AC)-analysis with (ER)-qf and functional interpretation in the narrower sense of Heyting-analysis plus (ER)-qf, (MP), in T BR.- Further consequences from the functional interpretation of classical analysis.- Consistency proof by computation. Computation of T BRo.o .- Generalized inductive definitions.- Generalization of bar induction BID and the inductive generation processes to trees over species.- A model for T BR.- On the bar recursive model of classical analysis and the general bar induction over species. Bestandsnummer des Verkäufers 9783540061199
Anzahl: 1 verfügbar
Foto des Verkäufers
Extensional Gödel Functional Interpretation
ISBN 10: 3540061193
ISBN 13: 9783540061199
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -and survey.- A formal system of classical analysis.- Elimination of extensionality.- Translation of classical into intuitionistic approximated theories.- G¿del's functional interpretation in the narrower sense.- The calculus T of the primitive recursive functionals.- Functional interpretation of classical arithmetic plus (ER)-qf, (AC)-qf and functional interpretation in the narrower sense of Heyting-analysis plus (ER)-qf, (MP), in T.- The calculus T BR of the bar recursive functionals.- Functional interpretation of classical (AC)o-, ( AC)-analysis with (ER)-qf and functional interpretation in the narrower sense of Heyting-analysis plus (ER)-qf, (MP), in T BR.- Further consequences from the functional interpretation of classical analysis.- Consistency proof by computation. Computation of T BRo.o .- Generalized inductive definitions.- Generalization of bar induction BID and the inductive generation processes to trees over species.- A model for T BR.- On the bar recursive model of classical analysis and the general bar induction over species. 172 pp. Englisch. Bestandsnummer des Verkäufers 9783540061199
Anzahl: 2 verfügbar
Foto des Verkäufers
Extensional Gödel Functional Interpretation
Verlag:
Springer Berlin Heidelberg Jan 1973, 1973
ISBN 10: 3540061193
ISBN 13: 9783540061199
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -and survey.- A formal system of classical analysis.- Elimination of extensionality.- Translation of classical into intuitionistic approximated theories.- G¿del's functional interpretation in the narrower sense.- The calculus T of the primitive recursive functionals.- Functional interpretation of classical arithmetic plus (ER)-qf, (AC)-qf and functional interpretation in the narrower sense of Heyting-analysis plus (ER)-qf, (MP), in T.- The calculus T BR of the bar recursive functionals.- Functional interpretation of classical (AC)o-, ( AC)-analysis with (ER)-qf and functional interpretation in the narrower sense of Heyting-analysis plus (ER)-qf, (MP), in T BR.- Further consequences from the functional interpretation of classical analysis.- Consistency proof by computation. Computation of T BRo.o .- Generalized inductive definitions.- Generalization of bar induction BID and the inductive generation processes to trees over species.- A model for T BR.- On the bar recursive model of classical analysis and the general bar induction over species. 172 pp. Englisch. Bestandsnummer des Verkäufers 9783540061199
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Extensional Gödel Functional Interpretation: A Consistensy Proof of Classical Analysis (Lecture Notes in Mathematics, 306)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540061199_new
Anzahl: Mehr als 20 verfügbar