Intensional mathematics
By: edited by Stewart Shapiro.
Contributors: Shapiro, Stewart, 1951-
Series: Studies in logic and the foundations of mathematics -- v. 113
Publisher: North-Holland; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
Published: 1985
Place of publication: Amsterdam; New York; New YorK, N.Y., U.S.A
Language: eng
Number of pages: 230
Subjects: Constructive mathematics; Intuitionistic mathematics; Modality (Logic)
Notes: Includes bibliographies.