Aspects of Incompleteness
Autor Per Lindströmen Limba Engleză Hardback – 15 feb 2017
Preț: 818.06 lei
Preț vechi: 951.23 lei
-14%
Puncte Express: 1227
Carte tipărită la comandă
Livrare economică 31 august-14 septembrie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9781107167926
ISBN-10: 1107167922
Pagini: 144
Ilustrații: 115 exercises
Dimensiuni: 157 x 235 x 13 mm
Greutate: 0.37 kg
Editura: Cambridge University Press
Locul publicării:New York, United States
ISBN-10: 1107167922
Pagini: 144
Ilustrații: 115 exercises
Dimensiuni: 157 x 235 x 13 mm
Greutate: 0.37 kg
Editura: Cambridge University Press
Locul publicării:New York, United States
Cuprins
Preface; Introduction; 1. Preliminaries; 2. Incompleteness; 3. Numerations of r.e. sets; 4. Axiomatizations; 5. Partial conservativity; 6. Interpretability; 7. Degrees of interpretabilty; 8. Generations; References; Index; Notation.
Descriere
This volume presents some of the main areas and results of general metamathematics, including the results of Gödel et al. on incompleteness.