Constructivity in mathematics
Subtitle: proceedings.
By: Edited by A. Heyting.
Contributors: Heyting, A. 1898- ed.
Series: Studies in logic and the foundations of mathematics
Publisher: North-Holland Pub. Co.
Published: 1959
Place of publication: Amsterdam
Language: eng; ger; fre; ara
Number of pages: 297
Subjects: Metamathematics -- Congresses.
Notes: Includes bibliographies.
Papers in English, German, or French.
"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."