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ț: 623.56 lei - 11%
Preț: 561.78 lei - 14%
Preț: 908.18 lei - 14%
Preț: 1038.65 lei - 14%
Preț: 789.55 lei - 20%
Preț: 802.41 lei - 20%
Preț: 803.35 lei - 14%
Preț: 810.80 lei - 14%
Preț: 1035.95 lei - 14%
Preț: 911.64 lei - 14%
Preț: 1250.63 lei - 14%
Preț: 941.38 lei - 14%
Preț: 914.04 lei - 14%
Preț: 1460.11 lei - 14%
Preț: 1037.67 lei
Preț: 933.82 lei
Preț vechi: 1167.28 lei
-20% Nou
Puncte Express: 1401
Preț estimativ în valută:
165.24€ • 194.03$ • 145.04£
165.24€ • 194.03$ • 145.04£
Carte tipărită la comandă
Livrare economică 27 ianuarie-10 februarie 26
Preluare comenzi: 021 569.72.76
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.
Notă biografică
Descriere
This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.