عنوان
پدید آورنده
موضوع
رده
QA,9.46,.I57,1985
QA
,
9
.
46
,.
I57
,
1985
کتابخانه
محل استقرار
(U.S.)
0444876324
IR
ebook11832
انگلیسی
IR
Intensional mathematics
[Electronic Resource]
/ edited by Stewart Shapiro. -
Amsterdam ;New York
: North-Holland ;New YorK, N.Y., U.S.A. :Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
, 1985.
v, 230 p.
: --
(Studies in logic and the foundations of mathematics
; v. 113)
e
Includes bibliographies.
Studies in logic and the foundations of mathematics
v. 113
Modality (Logic)
Constructive mathematics.
Intuitionistic mathematics.
511
QA
,
9
.
46
,.
I57
,
1985
Shapiro, Stewart� 1951
ایران
511
0444876324.pdf
0
old catalog
e
BL
1
a
Y
