Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
EUR 11,00
Währung umrechnenAnzahl: 1 verfügbar
In den Warenkorb166 pages Ex-Library book in good condition. 9783540061199 Sprache: Englisch Gewicht in Gramm: 440.
Anbieter: Studibuch, Stuttgart, Deutschland
EUR 6,99
Währung umrechnenAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Gut. Seiten; 9783540061199.3 Gewicht in Gramm: 500.
Anbieter: Antiquariat Deinbacher, Murstetten, Österreich
Erstausgabe
EUR 15,00
Währung umrechnenAnzahl: 1 verfügbar
In den Warenkorb8° , Softcover/Paperback. 1.Auflage,. 172 Seiten Einband etwas berieben, Bibl.Ex., innen guter und sauberer Zustand 9783540061199 Sprache: Englisch Gewicht in Gramm: 249.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 34,23
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Die Wortfreunde - Antiquariat Wirthwein Matthias Wirthwein, Mannheim, Deutschland
EUR 12,00
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. 172 Seiten 1973. Stempel der Universität Heidelberg, sonst gutes Exemplar. Sprache: Englisch Gewicht in Gramm: 273.
Anbieter: Die Wortfreunde - Antiquariat Wirthwein Matthias Wirthwein, Mannheim, Deutschland
EUR 14,00
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. 172 Seiten 1973. Sehr gutes Exemplar. Sprache: Englisch Gewicht in Gramm: 273.
Verlag: Springer Berlin Heidelberg, 1973
ISBN 10: 3540061193 ISBN 13: 9783540061199
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 26,74
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. 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.
Verlag: Springer Berlin Heidelberg, 1973
ISBN 10: 3540061193 ISBN 13: 9783540061199
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 11,96
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
Anbieter: Antiquariat Renner OHG, Albstadt, Deutschland
Verbandsmitglied: BOEV
EUR 10,00
Währung umrechnenAnzahl: 1 verfügbar
In den Warenkorb