TY  - BOOK
AU  - Szabo,M E
TI  - Algebra of proofs
T2  - Studies in logic and foundations of mathematics
SN  - 0720422868
U1  - 511.3 
PY  - 1978///
CY  - Amsterdam
PB  - North Holland
KW  - Proof theory
KW  - Categories, Mathematics
KW  - Combinatory logic
ER  -