机读格式显示(MARC)

• 000 00900cam 2200277 a 4500

• 000 1000098018

• 001 0000321328

• 005 20070919183749.0

• 008 770707s1956 ne b 001 0 eng

• 010 __ |a a 56005741

• 020 __ |c CNY0.90

• 040 __ |a DLC |c ODaU |d Uk |d DLC

• 050 00 |a QA9 |b .H46

• 090 __ |a O143/HA

• 093 __ |a O143 |2 4

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

• 245 10 |a Intuitionism : |b an introduction / |c A.Heyting..

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

• 300 __ |a 132 p. ; |c 22 cm.

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

• 504 __ |a Includes bibliographical references (p. [123]-129) and index.

• 650 _0 |a Intuitionistic mathematics.

• 901 __022007005299

• 905 __ |a CAU |f O143/HA |b E0217026

• 907 __ |a CAU |f O143/HA |b E0217026

• 999 __ |t C |A gxr |a 20070919 18:35:22 |I gxr |i 20070919 18:37:49 |G wzhlc |g 20080110 10:28:5