Articles liés à Extensional Gödel Functional Interpretation: A Consistensy...
Extensional Gödel Functional Interpretation: A Consistensy Proof of Classical Analysis - Couverture souple
Résultats de recherche pour Extensional Gödel Functional Interpretation: A Consistensy...
Image d'archives
Extensional Godel Functional Interpretation : A Consistensy Proof of Classical Analysis
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540061199
Acheter neuf
EUR 29,39
Expédition à EUR 18,02
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image d'archives
Extensional Gödel Functional Interpretation: A Consistensy Proof of Classical Analysis (Lecture Notes in Mathematics, 306) (Volume 0)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540061199_new
Acheter neuf
EUR 33,88
Expédition à EUR 13,94
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Extensional Gödel Functional Interpretation
Edité par
Springer Berlin Heidelberg Jan 1973, 1973
ISBN 10 : 3540061193
ISBN 13 : 9783540061199
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540061199
Acheter neuf
EUR 26,74
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Extensional Gödel Functional Interpretation. A Consistensy Proof of Classical Analysis.
Edité par
Springer Berlin, 1973
ISBN 10 : 3540061193
ISBN 13 : 9783540061199
Ancien ou d'occasion
Couverture souple
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Gut. 166 pages Ex-Library book in good condition. 9783540061199 Sprache: Englisch Gewicht in Gramm: 440. N° de réf. du vendeur 1159983
Acheter D'occasion
EUR 9,99
Expédition à EUR 40
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Extensional Gödel Functional Interpretation: A Consistensy Proof of Classical Analysis (Lecture Notes in Mathematics)
Edité par
Springer, Berlin,, 1973
ISBN 10 : 3540061193
ISBN 13 : 9783540061199
Ancien ou d'occasion
Taschenbuch
Vendeur : Die Wortfreunde - Antiquariat Wirthwein Matthias Wirthwein, Mannheim, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. 172 Seiten 1973. Stempel der Universität Heidelberg, sonst gutes Exemplar. Sprache: Englisch Gewicht in Gramm: 273. N° de réf. du vendeur 38042
Acheter D'occasion
EUR 12
Expédition à EUR 39
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Extensional Gödel Functional Interpretation: A Consistensy Proof of Classical Analysis (Lecture Notes in Mathematics)
Edité par
Springer, Berlin,, 1973
ISBN 10 : 3540061193
ISBN 13 : 9783540061199
Ancien ou d'occasion
Taschenbuch
Vendeur : Die Wortfreunde - Antiquariat Wirthwein Matthias Wirthwein, Mannheim, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. 172 Seiten 1973. Sehr gutes Exemplar. Sprache: Englisch Gewicht in Gramm: 273. N° de réf. du vendeur 38041
Acheter D'occasion
EUR 14
Expédition à EUR 39
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Extensional Gödel Functional Interpretation. A Consistency Proof of Classical Analysis.
Edité par
Springer, Berlin, 1973
ISBN 10 : 3540061193
ISBN 13 : 9783540061199
Ancien ou d'occasion
Softcover
Vendeur : Antiquariat Renner OHG, Albstadt, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Gut. Bln., Springer 1973. gr.8°. VI, 161 p. Pbck. (slightly bumped).- Lecture Notes in Mathematics, 306.- Name on title, otherwise inside in good condition. N° de réf. du vendeur 48293
Acheter D'occasion
EUR 10
Expédition à EUR 45
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Extensional Gödel Functional Interpretation. A Consistensy Proof of Classical Analysis. (= Lecture Notes in Mathematics, Band 306).
Edité par
Springer Berlin, 1973
ISBN 10 : 3540061193
ISBN 13 : 9783540061199
Ancien ou d'occasion
8° , Softcover/Paperback
Edition originale
Vendeur : Antiquariat Deinbacher, Murstetten, Autriche
Évaluation du vendeur 5 sur 5 étoiles
8° , Softcover/Paperback. 1.Auflage,. 172 Seiten Einband etwas berieben, Bibl.Ex., innen guter und sauberer Zustand 9783540061199 Sprache: Englisch Gewicht in Gramm: 249. N° de réf. du vendeur 154311
Acheter D'occasion
EUR 15
Expédition à EUR 42
Expédition depuis Autriche vers Etats-Unis
Expédition depuis Autriche vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Extensional G?del Functional Interpretation
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 172. N° de réf. du vendeur 183094257
Acheter neuf
EUR 61,67
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Extensional Goedel Functional Interpretation
Edité par
Springer Berlin Heidelberg, 1973
ISBN 10 : 3540061193
ISBN 13 : 9783540061199
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. and survey.- A formal system of classical analysis.- Elimination of extensionality.- Translation of classical into intuitionistic approximated theories.- Goedel s functional interpretation in the narrower sense.- The calculus T of the primitive recursive fun. N° de réf. du vendeur 4879076
Acheter neuf
EUR 26,43
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles