Now 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!