Etat : 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. N� de r�f. du vendeur 4132967/202

Contacter le vendeur

Acheter D'occasion

EUR 11,96

Autre devise

Frais de port : EUR 3,90

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Extensional G�del Functional Interpretation. A Consistensy Proof of Classical Analysis.

Luckhardt, Horst,

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

166 pages Ex-Library book in good condition. 9783540061199 Sprache: Englisch Gewicht in Gramm: 440. N� de r�f. du vendeur 1159983

Contacter le vendeur

Acheter D'occasion

EUR 11

Autre devise

Frais de port : EUR 7

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Extensional G�del Functional Interpretation: A Consistensy Proof of Classical Analysis (Lecture Notes in Mathematics, 306, Band 306)

Luckhardt, Horst:

Edit� par Springer, 2009

ISBN 10 : 3540061193 ISBN 13 : 9783540061199

Ancien ou d'occasion paperback

Vendeur : Studibuch, Stuttgart, Allemagne

�valuation du vendeur 5 sur 5 �toiles

paperback. Etat : Gut. Seiten; 9783540061199.3 Gewicht in Gramm: 500. N� de r�f. du vendeur 743994

Contacter le vendeur

Acheter D'occasion

EUR 6,99

Autre devise

Frais de port : EUR 13,90

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Extensional G�del Functional Interpretation: A Consistensy Proof of Classical Analysis (Lecture Notes in Mathematics)

Luckhardt, Horst:

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 4 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

Contacter le vendeur

Acheter D'occasion

EUR 12

Autre devise

Frais de port : EUR 15

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Extensional G�del Functional Interpretation: A Consistensy Proof of Classical Analysis (Lecture Notes in Mathematics)

Luckhardt, Horst:

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 4 sur 5 �toiles

Taschenbuch. 172 Seiten 1973. Sehr gutes Exemplar. Sprache: Englisch Gewicht in Gramm: 273. N� de r�f. du vendeur 38041

Contacter le vendeur

Acheter D'occasion

EUR 14

Autre devise

Frais de port : EUR 15

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Extensional G�del Functional Interpretation. A Consistensy Proof of Classical Analysis. (= Lecture Notes in Mathematics, Band 306).

Luckhardt, Horst:

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

Contacter le vendeur

Acheter D'occasion

EUR 15

Autre devise

Frais de port : EUR 19

De Autriche vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Extensional Goedel Functional Interpretation

Horst Luckhardt

Edit� par Springer Berlin Heidelberg, 1973

ISBN 10 : 3540061193 ISBN 13 : 9783540061199

Neuf Couverture souple

impression � la demande

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

Contacter le vendeur

Acheter neuf

EUR 26,43

Autre devise

Frais de port : EUR 9,70

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Extensional G�del Functional Interpretation : A Consistensy Proof of Classical Analysis

Horst Luckhardt

Edit� par Springer Berlin Heidelberg, 1973

ISBN 10 : 3540061193 ISBN 13 : 9783540061199

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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. N� de r�f. du vendeur 9783540061199

Contacter le vendeur

Acheter neuf

EUR 26,74

Autre devise

Frais de port : EUR 10,99

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Extensional G�del Functional Interpretation

Horst Luckhardt

Edit� par Springer Berlin Heidelberg Jan 1973, 1973

ISBN 10 : 3540061193 ISBN 13 : 9783540061199

Neuf Taschenbuch

impression � la demande

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

Contacter le vendeur