机读格式显示(MARC)

• 000 01567nam2 2200541 4500

• 000 1000004309

• 001 0000160694

• 003 CAL

• 005 20050110092826.0

• 008 751007s1977 ne b 00110 eng

• 010 __ |a 75033890 //r952

• 020 __ |a 0720428440 |c CNY3.60

• 040 __ |a XAIT |a DLC |c DLC |d DLC

• 050 00 |a QA9 |b .B3953

• 082 00 |a 511/.3

• 090 __ |a O141/E2

• 093 __ |a O141 |2 4

• 099 __ |a CAL 022000251403

• 100 1_ |a Bell, J. L. |q (John Lane)

• 245 12 |a A course in mathematical logic / |c by J. L. Bell and M. Machover.

• 260 __ |a Amsterdam : |b North-Holland Pub. Co. ; |a New York : |b sole distributors for the U.S.A. and Canada American Elsevier Pub. Co., |c 1977.

• 300 __ |a xviii, 599 p. ; |c 23 cm.

• 500 __ |a Includes indexes.

• 504 __ |a Bibliography: p. [576]-583.

• 650 _0 |a Logic, Symbolic and mathematical.

• 700 10 |a Mahover, Mosheh,

• 905 __ |a XATU |d O141/E2

• 920 __ |a 242010 |z 1

• 920 __ |a 244050 |z 2

• 920 __ |a 231220 |z 1

• 920 __ |a 212010 |z 1

• 920 __ |a 212020 |z 1

• 920 __ |a 211060 |z 1

• 920 __ |a 242120 |z 1

• 920 __ |a 215010 |z 1

• 920 __ |a 245010 |z 1

• 920 __ |a 244180 |z 1

• 920 __ |a 261020 |z 2

• 920 __ |a 243040 |z 1

• 920 __ |a 222220 |z 1

• 920 __ |a 242250 |z 1

• 920 __ |a 211168 |z 1

• 920 __ |a 211010 |b O141 |c B413 |z 1

• 920 __ |a 231030 |b O141 |c B433C |z 1

• 950 __ |a 261060 |f O141/E2

• 991 __022005000321

• 998 __ |a PUL

• 999 __ |t C |A shenxiaoyan |a 20050110 09:27:30 |M shenxiaoyan |m 20050110 09:28:26 |G shenxiaoyan |g 20050110 09:28:5