TY  - BOOK
AU  - Szabo M E
TI  - Algebra of proofs
U1  - B:(R1), L8 
PY  - 1978///
ER  -