Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957 - International Colloquium on Constructivity in Mathematics (1957 Amsterdam, Netherlands); Heyting, A. (Arend) , 1898- (Amsterdam : North-Holland Pub., 1959)
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
Keywords: Metamathematics -- Congresses; Constructibility (Set theory); Logic, symbolic and mathematical -- Congresses