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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Vendeur : Carothers and Carothers, Albany, CA, Etats-Unis
Hardcover. Etat : Near Fine. Etat de la jaquette : 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. N° de réf. du vendeur 002154
Quantité disponible : 1 disponible(s)
Vendeur : Books Puddle, Woodside, NY, Etats-Unis
Etat : New. pp. 452. N° de réf. du vendeur 263052193
Quantité disponible : 1 disponible(s)
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Etat : New. pp. 452. N° de réf. du vendeur 5844350
Quantité disponible : 1 disponible(s)