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