The author selects 23 of his papers in mathematical logic that pursue definability via priority, forcing, compactness and fine structure applied to classical recursion, hyperarithmetic sets, recursion in objects of finite type, measure, models and E-recursion. His general introduction provides a chronology both personal and technical.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Carothers and Carothers, Albany, CA, USA
Hardcover. Zustand: Near Fine. Zustand des Schutzumschlags: Very Good. xviii, 431 p. Series: World Scientific series in 20th century mathematics ; 6. Boards and backstrip bright, corners sharp; internally as new. Additional postage may be required for shipment outside the United States. 930 grams. Artikel-Nr. 002154
Anzahl: 1 verfügbar
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Zustand: 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. Artikel-Nr. ABBB-226310