Higher Recursion Theory: Perspectives in Logic, cartea 2
Autor Gerald E. Sacksen Limba Engleză Hardback – mar 2017
Din seria Perspectives in Logic
- Preț: 427.64 lei
- 11% Preț: 615.03 lei
- 11% Preț: 550.71 lei
- 14% Preț: 890.89 lei
- 14% Preț: 778.19 lei
- 20% Preț: 786.33 lei
- 20% Preț: 787.31 lei
- 14% Preț: 794.88 lei
- 14% Preț: 1018.44 lei
- 14% Preț: 1019.26 lei
- 14% Preț: 894.52 lei
- 14% Preț: 1231.15 lei
- 14% Preț: 925.41 lei
- 14% Preț: 896.98 lei
- 14% Preț: 1438.41 lei
- 14% Preț: 1020.23 lei
Preț: 917.72 lei
Preț vechi: 1147.16 lei
-20% Nou
Puncte Express: 1377
Preț estimativ în valută:
175.69€ • 180.78$ • 148.09£
175.69€ • 180.78$ • 148.09£
Carte tipărită la comandă
Livrare economică 01-15 martie
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.