机读格式显示(MARC)

• 000 01065cam 2200277 a 4500

• 001 0000145708

• 003 CAL

• 005 20060608104700.0

• 008 060608s1959 ne b 10000 eng

• 010 __ |a 63000522 //r862

• 040 __ |a DLC/ICU |c ICU

• 041 0_ |a eng

• 090 __ |a 51.6083/H619

• 093 __ |a O14 |2 3rd

• 094 __ |a 51.6083 |2 4

• 099 __ |a CAL 022000365974

• 111 2_ |a International Colloquium "Constructivity in Mathematics" |d (1957 : |c Amsterdam, Netherlands)

• 245 10 |a Constructivity in mathematics : |b proceedings / |c Edited by A. Heyting.

• 260 __ |a Amsterdam : |b North-Holland Pub. Co., |c 1959.

• 300 __ |a viii, 297 p. ; |c 23 cm.

• 440 _0 |a Studies in logic and the foundations of mathematics

• 500 __ |a "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."

• 500 __ |a Papers in English, German, or French.

• 504 __ |a Includes bibliographies.

• 650 _0 |a Metamathematics |x Congresses.

• 700 1_ |a Heyting, A. |q (Arend), |d 1898-