Higher Recursion Theory: Perspectives in Logic, cartea 2
Autor Gerald E. Sacksen Limba Engleză Hardback – mar 2017
Din seria Perspectives in Logic
- Preț: 419.06 lei
- 11% Preț: 602.61 lei
- 11% Preț: 539.58 lei
- 14% Preț: 872.85 lei
- 14% Preț: 762.45 lei
- 20% Preț: 770.43 lei
- 20% Preț: 771.38 lei
- 14% Preț: 778.80 lei
- 14% Preț: 997.79 lei
- 14% Preț: 998.59 lei
- 14% Preț: 876.39 lei
- 14% Preț: 1206.19 lei
- 14% Preț: 906.65 lei
- 14% Preț: 878.83 lei
- 14% Preț: 1409.23 lei
- 14% Preț: 999.56 lei
Preț: 899.15 lei
Preț vechi: 1123.93 lei
-20% Nou
Puncte Express: 1349
Preț estimativ în valută:
172.11€ • 180.46$ • 142.20£
172.11€ • 180.46$ • 142.20£
Carte tipărită la comandă
Livrare economică 29 ianuarie-12 februarie 25
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.