TY  - BOOK
AU  - Heyting,A.
ED  - International Colloquium on Constructivity in Mathematics
TI  - Constructivity in mathematics: proceedings of the colloquium held at Amsterdam, 1957 
U1  - 510.82 
PY  - 1959///
CY  - Amsterdam
PB  - North-Holland Pub.
KW  - Metamathematics
KW  - Congresses
KW  - Constructibility (Set theory)
KW  - Logic, symbolic and mathematical
N1  - 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"; Includes bibliographical references and index
ER  -