Constructivity in mathematics :  proceedings of the colloquium held at Amsterdam, 1957 / 
edited by A. Heyting 
 - Amsterdam :  North-Holland Pub.,  1959 
 - viii, 297 p. :  ill. ;  23 cm. 
 - Studies in logic and the foundations of mathematics .
<br/><br/> 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" 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label> 30.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Metamathematics--Congresses<br/>Constructibility (Set theory)<br/>Logic, symbolic and mathematical--Congresses
<br/><br/><label>Dewey Class. No.: </label>510.82