TY  - BOOK
AU  - Szabo,M.E.
TI  - Algebra of proofs
SN  - 0720422868
U1  - 510.1 
PY  - 1978///
CY  - Amsterdam
PB  - North-Holland Pub.
KW  - Proof theory
KW  - Categories (Mathematics)
KW  - Combinatory logic
N1  - Includes index; Bibliography: p. 278-284
ER  -