Skip to content
You are not logged in |Login  
     
Limit search to available items
Record:   Prev Next
Resources
book
BookPrinted Material
Conference International Colloquium "Constructivity in Mathematics" (1957 : Amsterdam, Netherlands)

Title Constructivity in mathematics; proceedings. / Edited by A. Heyting.

Publication Info. Amsterdam : North-Holland Pub. Co., 1959.

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA9 .I5 1957    Available  ---
Description viii, 297 pages ; 23 cm.
Series Studies in logic and the foundations of mathematics
Studies in logic and the foundations of mathematics.
Note 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."
Bibliography Includes bibliographies.
Subject Metamathematics -- Congresses.
Metamathematics.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Added Author Heyting, A. (Arend), 1898-1980.