机读格式显示(MARC)

• 000 01111cam 2200325 i 4500

• 000 1000098023

• 001 0000321333

• 005 20070919190819.0

• 008 770124s1978 ne b 001 0 eng

• 010 __ |a 77000706

• 020 __ |a 0720422868 : |c CNY1.50

• 040 __ |c PUL

• 050 0_ |a QA9.54 |b .S94

• 082 __ |a 511/.3

• 090 __ |a O141.2/SME

• 093 __ |a O141.2 |2 4

• 099 __ |a CAL 022000251842

• 100 1_ |a Szabo, M. E.

• 245 10 |a Algebra of proofs / |c M. E. Szabo.

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

• 300 __ |a xii, 297 p. ; |c 23 cm.

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

• 504 __ |a Includes bibliographical references (p. 278-284) and indexes.

• 650 _0 |a Combinatory logic.

• 650 _0 |a Proof theory.

• 650 _0 |a Categories (Mathematics)

• 901 __022007005304

• 905 __ |a CAU |f O141.2/SME |b E0217021

• 907 __ |a CAU |f O141.2/SME |b E0217021

• 999 __ |t C |A gxr |a 20070919 19:06:05 |I gxr |i 20070919 19:08:19 |G wzhlc |g 20080110 10:34:3