- формат pdf
- размер 4.04 МБ
- добавлен
01 ноября 2011 г.
Princeton University Press, 1986, -201 pp. 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. The impredicativity of induction Logical terminology The axioms of arithmetic Order Induction by relati...