Algebra of proofs / - Szabo, M. E. (North-Holland Pub. Co., 1978)