M. E. Szabo

• Algebra of proofs