In addition to sequent calculus and natural deduction, the Open Logic Text now covers axiomatic derivations as well. Happy Holidays!
Month: December 2017
‘Tis the Season of Giving!
Do you have well-worked out teaching materials related to logic? We take donations of material that can be incorporated into […]