机读格式显示(MARC)

• 000 00928pam 2200301 i 4500

• 001 0000516835

• 003 CAL

• 005 20050411163800.0

• 008 050411s1978 ne b 00110 eng

• 010 __ |a 77000706

• 020 __ |a 0720422868

• 040 __ |c PUL

• 050 00 |a QA9.54 |b .S94

• 082 0_ |a 511/.3

• 090 __ |a O141.2/S996

• 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

• 500 __ |a Includes indexes.

• 504 __ |a Bibliography: p. 278-284.

• 650 _0 |a Proof theory.

• 650 _0 |a Categories (Mathematics)

• 650 _0 |a Combinatory logic.

• 950 __ |a JHUL |b O141.2 |c S996