TY  - BOOK
AU  - Szabe, M. E.
TI  - ALGEBRA OF PROOFS
U1  - 511.3 
PY  - 1978///
CY  - Amsterdam
PB  - North-Holland Pub. Co.
KW  - Proof Theory
KW  - Categories (Mathematics)
KW  - Combinatory Logic
N1  - Bibliography : P. 278-284
ER  -