Higher Recursion Theory: Perspectives in Logic, cartea 2
Autor Gerald E. Sacksen Limba Engleză Hardback – mar 2017
Din seria Perspectives in Logic
-
Preț: 435.53 lei - 11%
Preț: 625.98 lei - 11%
Preț: 563.96 lei - 14%
Preț: 911.70 lei - 14%
Preț: 1042.69 lei - 14%
Preț: 789.55 lei - 20%
Preț: 805.53 lei - 20%
Preț: 806.48 lei - 14%
Preț: 813.95 lei - 14%
Preț: 1039.98 lei - 14%
Preț: 915.20 lei - 14%
Preț: 945.04 lei - 14%
Preț: 917.58 lei - 14%
Preț: 1465.80 lei - 14%
Preț: 1041.71 lei
Preț: 937.44 lei
Preț vechi: 1171.80 lei
-20%
Puncte Express: 1406
Carte tipărită la comandă
Livrare economică 18 iunie-02 iulie
Specificații
ISBN-13: 9781107168435
ISBN-10: 1107168430
Pagini: 360
Dimensiuni: 163 x 240 x 27 mm
Greutate: 0.73 kg
Editura: Cambridge University Press
Colecția Cambridge University Press
Seria Perspectives in Logic
Locul publicării:New York, United States
ISBN-10: 1107168430
Pagini: 360
Dimensiuni: 163 x 240 x 27 mm
Greutate: 0.73 kg
Editura: Cambridge University Press
Colecția Cambridge University Press
Seria Perspectives in Logic
Locul publicării:New York, United States
Cuprins
Part I. Hyperarithmetic Sets: 1. Constructive ordinals and \prod_1^1 sets; 2. The hyperarithmetic hierarchy; 3. \Sigma_1^1 predicates of reals; 4. Measure and forcing; Part II. Metarecursion: 5. Metarecursive enumerability; 6. Hyperregularity and priority; Part III. α-Recursion: 7. Admissibility and regularity; 8. Priority arguments; 9. Splitting, density and beyond; Part IV. E-Recursion: 10. E-closed structures; 11. Forcing computations to converge; 12. Selection and k-sections; 13. E-recursively enumerable degrees; Bibliography; Subject index.
Descriere
This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.