Intensional mathematics /
edited by Stewart Shapiro.
- Amsterdam : North-Holland ;Elsevier Science Pub. Co., 1985.
- v, 230 p.
- Studies in logic and the foundations of mathematics ; v. 113 .
0444876324 (U.S.)
55051423
Modality (Logic).
Constructive mathematics.
Intuitionistic mathematics.
QA9.46 / .I57 1985
511�19
0444876324 (U.S.)
55051423
Modality (Logic).
Constructive mathematics.
Intuitionistic mathematics.
QA9.46 / .I57 1985
511�19