عنوان
پدید آورنده
موضوع
رده
QA9.46،.I57 1985
QA9
.
46
،.
I57
1985
کتابخانه
محل استقرار
0444876324
IR
19621
انگلیسی
IR
Intentional mathematics
[Book]
/ edited by Stewart Shapiro
Amsterdam ; New York
, 1985.
v, 230 p.
(Studies in logic and the foundations of mathematics
113)
; v
Cataloging based on CIP information
Print
Bibliography: p. 230
Modality (Logic)
Constructive mathematics
Intuitionistic mathematics
511
QA9
.
46
.
I57
1985
Shapiro, Stewart,1951-
ایران
Central Library and Documentation Center
old catalog
p
BL
1
a
Y
