عنوان
پدید آورنده
موضوع
رده
QA 9 .56 .N45 1986
QA
9
.
56
.
N45
1986
کتابخانه
محل استقرار
100121
بهار۳۷
English
)20(
Nelson, Edward
1932-
Predicative arithmetic
Princeton, N.J.
Princeton University Press
1986
viii, 189 p. ; 24 cm
Mathematical notes, 23
Bibliography: p. 181-182
Includes indexes
، Constructive mathematics
، Arithmetic--1691-
QA
9
.
56
.
N45
1986
AU
by Edward Nelson
SE Mathematical notes )Princeton University Press(, 32
TI
02
