机读格式显示(MARC)

• 000 01182nam2 2200385 4500

• 000 1000004186

• 001 0000160574

• 003 CAL

• 005 20050106162049.0

• 008 840502s1952 ne b 00000 eng

• 010 __ |a 52002458 /L/r84

• 020 __ |a |c CNY1.40

• 040 __ |a XAIT |a DLC/ICU |c ICU

• 050 0_ |a BC135 |b .M6

• 082 0_ |a 164

• 090 __ |a O142/E3

• 093 __ |a O142 |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 G鑟del / |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 bibliography.

• 650 _0 |a Semantics (Philosophy)

• 650 _0 |a Logic, Symbolic and mathematical.

• 650 _0 |a G鑟del's theorem.

• 905 __ |a XATU |d O142/E3

• 920 __ |a 243040 |z 1

• 920 __ |a 242010 |z 1

• 920 __ |a 215010 |z 1

• 950 __ |a 261060 |f O142/E3

• 991 __022005000197

• 998 __ |a WUL

• 999 __ |t C |A shenxiaoyan |a 20050106 16:19:50 |M shenxiaoyan |m 20050106 16:20:49 |G shenxiaoyan |g 20050106 16:21:1