👩💻 Join our community of thousands of amazing developers!
I also studied formal logic, under the direction of the amazing Don Faust. I still recommend the book What Is Mathematical Logic for a good (but dense) overview of the topic. These are just some proofs I worked out. Proof of deduction theorem Proof of a lemma used in proof of Completeness: Soundness implies Completeness...