Algebra of proofs - Szabo, M. E. (rz1, 1978)