Algebra of proofs - Szabo, M. E. (Studies in logic and the foundations of mathematics ;)