LEADER 00000cam a22004331? 4500 
001    ocm02191579 
005    20090715192219.0 
008    841031s1959    ne       b    100 0 engm  
010       63000522//r84 
019    885520|a10393123 
035    (OCoLC)2191579 
040    DLC/ICU|beng|cCGU|dm.c.|dOCL 
041 0  eng|ager|afre 
049    RIDM 
050 0  QA9|b.I5 1957 
090    QA9 .I5 1957 
111 2  International Colloquium "Constructivity in Mathematics"
       |d(1957 :|cAmsterdam, Netherlands)|0https://id.loc.gov/
       authorities/names/n84805665 
245 10 Constructivity in mathematics;|bproceedings. /|cEdited by 
       A. Heyting. 
264  1 Amsterdam :|bNorth-Holland Pub. Co.,|c1959. 
300    viii, 297 pages ;|c23 cm. 
336    text|btxt|2rdacontent 
337    unmediated|bn|2rdamedia 
338    volume|bnc|2rdacarrier 
490 1  Studies in logic and the foundations of mathematics 
500    Papers in English, German, or French. 
500    "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." 
504    Includes bibliographies. 
650  0 Metamathematics|0https://id.loc.gov/authorities/subjects/
       sh85084269|vCongresses.|0https://id.loc.gov/authorities/
       subjects/sh99001533 
650  7 Metamathematics.|2fast|0https://id.worldcat.org/fast/
       1018261 
655  7 Conference papers and proceedings.|2lcgft|0https://
       id.loc.gov/authorities/genreForms/gf2014026068 
655  7 Conference papers and proceedings.|2fast|0https://
       id.worldcat.org/fast/1423772 
700 1  Heyting, A.|q(Arend),|d1898-1980.|0https://id.loc.gov/
       authorities/names/n80006204 
830  0 Studies in logic and the foundations of mathematics.
       |0https://id.loc.gov/authorities/names/n42707789 
901    MARCIVE 20231220 
935    174398 
948    |d20220526|cMH|tcr 035-9project