机读格式显示(MARC)

• 000 01150nam 22003135a 45

• 000 1000088377

• 001 0000311792

• 008 841031s1959 ne b 100 0 eng d

• 010 __ |a 63000522

• 020 __ |c CNY1.70

• 040 __ |a DLC/ICU |c ICU

• 041 0_ |a eng |a ger |a fre

• 050 0_ |a QA9 |b .I5 1957

• 090 __ |a 515/H519

• 093 __ |a O14 |2 3

• 099 __ |a CAL 022000365974

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

• 245 10 |a Constructivity in mathematics / |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 bibliographical references.

• 650 _0 |a Metamathematics |x Congresses.

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

• 901 __HSW200703219

• 905 __ |a CAU |f 515/H519

• 907 __ |a CAU |f 515/H51