In the design and layout of the Open Logic Project texts as well as the Calgary Remix of the intro […]
Month: November 2017
forall x YYC: Winter is coming
Pulled the switch on the new natural deduction rules; the Winter 2018 ß version is now out. If you have […]