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