Intensional mathematics /

Bibliographic Details

Other Authors:	Shapiro, Stewart, 1951-
Format:	Book
Language:	English
Published:	Amsterdam ; New York : North-Holland ; 1985.
Series:	Studies in logic and the foundations of mathematics ; v. 113.
Subjects:	Modality (Logic) Constructive mathematics. Intuitionistic mathematics.