机读格式显示(MARC)

• 000 01092cam 2200337 a 4500

• 000 1000097949

• 001 0000321262

• 005 20071210140302.0

• 008 840502s1952 ne b 000 0 eng

• 010 __ |a 52002458 /L/r84

• 020 __ |c CNY1.40

• 040 __ |a DLC/ICU |c ICU

• 050 0_ |a BC135 |b .M6

• 082 0_ |a 164

• 090 __ |a O143/MA

• 093 __ |a O143 |2 4

• 093 __ |a O1-0 |2 4

• 099 __ |a CAL 022000363487

• 100 1_ |a Mostowski, Andrzej.

• 245 10 |a Sentences undecidable in formalized arithmetic : |b an exposition of the theory of Kurt Godel / |c Andrzej Mostowski.

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

• 300 __ |a 117 p. ; |c 23 cm.

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

• 504 __ |a Includes bibliographical references.

• 650 _0 |a Logic, Symbolic and mathematical.

• 650 _0 |a Godel's theorem.

• 650 _0 |a Semantics (Philosophy)

• 901 __022007005230

• 905 __ |a CAU |f O143/MA |b E0216994

• 907 __ |a CAU |f O143/MA |b E0216994

• 999 __ |t C |A gxr |a 20070918 20:06:40 |I wzhlc |i 20071210 14:03:02 |G wzhlc |g 20071210 14:03:0