search

jonathanichikawa / for-all-x

Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
Creative Commons Attribution 4.0 International
16 stars 5 forks source link

metalogic proof explanations #30

Open jonathanichikawa opened 1 year ago

jonathanichikawa commented 1 year ago

Student feedback I received this term suggested that the soundness and completeness proofs are explained more clearly on my slides than they are in the textbook. So I may wish to go back and rewrite.