Welcome to E-Books Directory
This is a freely downloadable e-book.
Predicative Arithmetic by Edward Nelson
Read this book online or download it here for free
by Edward Nelson
Publisher: Princeton Univ Pr 1987
Number of pages: 201
The book is based on lecture notes of a course given at Princeton University in 1980. From the contents: the impredicativity of induction, the axioms of arithmetic, order, induction by relativization, the bounded least number principle, Euclidean algorithm, encoding, sets and functions, and more.