机读格式显示(MARC)

• 000 01310cam 2200325 a 4500

• 000 1000082553

• 001 0000306215

• 005 20070918201521.0

• 008 850812s1955 ne b 000 0 eng

• 010 __ |a 56003127 //r852

• 020 __ |c CNY0.80

• 040 __ |a DLC/ICU |c ICU

• 050 0_ |a QA9 |b .W72 1955

• 082 0_ |a 164

• 090 __ |a O1-0/MIF

• 093 __ |a O1-0 |2 4

• 099 __ |a CAL 022000363832

• 245 00 |a Mathematical interpretation of formal systems / |c [by] Th. Skolem ... [et al.]

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

• 300 __ |a viii, 113 p. ; |c 22 cm.

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

• 500 __ |a "Contains the lectures, held at the symposion [sic] on 'Mathematical interpretation of formal systems' which was organized by the 'Wiskundig Genootschap' (Mathematical Society) at Amsterdam on September 9 and 10, 1954."

• 504 __ |a Includes bibliographical references (p. 112-113)

• 650 _0 |a Logic, Symbolic and mathematical.

• 700 1_ |a Skolem, Th. |q (Thoralf), |d 1887-1963.

• 710 2_ |a Wiskundig Genootschap (Netherlands)

• 901 __022007001173

• 905 __ |a CAU |f O1-0/MIF |b E0233155 |b E0216995

• 907 __ |a CAU |f O1-0/MIF |b E0233155 |b E0216995

• 999 __ |t E |A gxr |a 20070918 20:14:08 |G wzhlc |g 20070509 08:48:16 |I wzhlc |i 20071210 13:52:1