Shapiro, Stewart (ed)
Intensional mathematics /
Stewart Shapiro
- Amsterdam : North-Holland, 1985
- v, 230p. 23cm.
- Studies in logic and the foundations of mathematics; vol 113 .
0444876324
Constructive mathematics
Intuitionistic mathematics
Modality (Logic)
511.3 / SHA