December 23, 2017Now With Axiomatic Derivations! Uncategorized by rzach In addition to sequent calculus and natural deduction, the Open Logic Text now covers axiomatic derivations as well. Happy Holidays!