Constructivity in mathematics ; proceedings / Edited by A. Heyting.
| Author/creator | International Colloquium "Constructivity in Mathematics" |
| Other author | Heyting, A. (Arend), 1898-1980 |
| Format | Book |
| Publication Info | Amsterdam : North-Holland Pub. Co., 1959. |
| Description | viii, 297 pages ; 23 cm. |
| Subjects |
| Series | Studies in logic and the foundations of mathematics Studies in logic and the foundations of mathematics. ^A16526 |
| General note | Papers in English, German, or French. |
| General note | "The appendix contains the summaries of three lectures ... [given] at the Summer Institute of Symbolic Logic in June 1957 at Cornell University, Ithaca, N.Y." |
| Bibliography note | Includes bibliographies. |
| LCCN | 63000522 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA9.I5 1957 | ✔ Available | Place Hold |