عنوان
پدید آورنده
موضوع
رده
QA9.46 .I57 1985
QA9
.
46
.
I57
1985
کتابخانه
محل استقرار
0444876324 (U.S.)
dltt
Intensional mathematics /
[Book]
edited by Stewart Shapiro
New YorK, N.Y., U.S.A. :
Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
1985
8412
v, 230 p. ;
23 cm
Studies in logic and the foundations of mathematics
v. 113
Includes bibliographical references
Constructive mathematics
Intuitionistic mathematics
Modality (Logic)
511
19
QA9
.
46
.
I57
1985
Shapiro, Stewart,1951-
19850312000000.0
مطالعه متن کتاب [Book]
Y
