The Area Method, Rigorous Proofs of Lemmas in Hilbert’s Style Axiom System (2009)

by Pedro Quaresma , Predrag Janičić