عنوان
پدید آورنده
موضوع
رده
QA 9 .H46 1971
QA
9
.
H46
1971
کتابخانه
محل استقرار
40324
آخر۲۷
English
)12(
Heyting, Arend
1898-
Intuitionism; an introduction
Amsterdam
North-Holland Pub. Co.
1971
viii, 145 p
Studies in logic and the foundations of mathematics
Bibliography: p. ]127[-141
]3d rev. ed.[
، Intuitionistic mathematics
QA
9
.
H46
1971
AU
TI
SE
131
