机读格式显示(MARC)

• 000 01657nam 2200541 a 4500

• 001 0000396619

• 003 SCNU

• 008 860221s1987 gw b 001 0 eng

• 010 __ |a 86004489

• 020 __ |a 0444879439 (U.S.)

• 040 __ |c PUL

• 050 0_ |a QA9.54 |b .T34 1987

• 082 0_ |a 511.3 |2 19

• 093 __ |a O141.2 |2 4

• 099 __ |a CAL 022000251844

• 100 1_ |a Takeuti, Gaisi, |d 1926-

• 245 10 |a Proof theory / |c Gaisi Takeuti.

• 250 __ |a 2nd ed.

• 260 __ |a Amsterdam ; |a New York : |b North-Holland ; |a New York, N.Y., U.S.A. : |b Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., |c 1987.

• 300 __ |a x, 490 p. ; |c 23 cm.

• 440 _0 |a Studies in logic and the foundations of mathematics ; |v v. 81

• 500 __ |a Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968.

• 504 __ |a Includes bibliographical reference( p. 481-485)and index.

• 650 _0 |a Proof theory.

• 920 __ |a 211010 |b O141.2 |c T139.2 |z 1

• 920 __ |a 211040 |z 1

• 920 __ |a 231030 |b O141.2 |c T136P2 |z 1

• 920 __ |a 261020 |b O121 |c T136p2 |z 1

• 920 __ |a 244050 |z 2

• 920 __ |a 231220 |z 1

• 920 __ |a 212010 |z 1

• 920 __ |a 211130 |z 1

• 920 __ |a 251050 |z 1

• 920 __ |a 211060 |z 1

• 920 __ |a 215010 |z 1

• 920 __ |a 245010 |z 1

• 920 __ |a 244180 |z 1

• 920 __ |a 243040 |z 1

• 920 __ |a 222220 |z 1

• 920 __ |a 211260 |z 1

• 920 __ |a 242250 |z 1

• 920 __ |a 242120 |z 1

• 950 __ |a SCNU |f O141.2/T136

• 998 __ |a PUL

• 999 __ |t C |A gzhj |a 20050710 17:07:45 |M gzhj |m 20050710 17:08:22

• 000 1000010018

• 991 __ |a 022005005513

• 907 __ |a SCNU |f O141.2/T136