5166
Nelson,Edward
2391-
predicative arithmetic
Princeton
princeton University press
1986
viii, 189p
Mathematical notes: 23
Bibliography: p. 181-182
Includes indexes
by Edward Nelson
Constructive mathematics
Arithmatic 1691
QA
9
.
56
.
N45
1986
AU
TI
SE
CL
