Normal view
MARC view
Constructive mathematics (Topical Term)
Machine generated authority record.
Work cat.: (OSt)50047: Shapiro, Stewart (ed) 1464709, Intensional mathematics /, 1985