Provability, Computability and Reflection

Front Cover
Elsevier, Apr 1, 2000 - Mathematics - 137 pages
0 Reviews
Provability, Computability and Reflection
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Chapter I Recursive Convergence
1
Chapter II Recursive and Relative Continuity
39
Chapter III Recursive and Relative Differentiability
57
Chapter IV The Relative Integral
87
Chapter V The Elementary Functions
96
Chapter VI Transfinite Ordinals
106
Recursive Irrationality and Transcendence
123
Index
137
Copyright

Common terms and phrases