Shelfclass_id | 2.A |
Sortkey | SHAPIRO, STEWART |
Authors | Stewart Shapiro |
Title | Intensional Mathematics |
Publisher | Elsevier Science Publishing Company, Inc. |
Year | 1985 |
Languages | eng |
Isbn | 0444876324 |
Series | Studies in logic and the foundations of mathematics |
Volume | 113 |
Description | v, 230 p. |
Record date | 20091116 |
Location | New York |
Keywords | Modality (Logic), Constructive mathematics, Intuitionistic mathematics |