search

rzach / forallx-yyc

UCalgary version of forallx, an introduction to formal logic
https://forallx.openlogicproject.org/
Creative Commons Attribution 4.0 International
94 stars 30 forks source link

Dodgson #48

Closed cristiann63 closed 3 years ago

cristiann63 commented 3 years ago

Kindly please modify "Dodson" with "Dodgson", at page 408 (Glossary). The mistake is both in "forallxyyc" and "forallxyyc-f20"

rzach commented 3 years ago

Thanks. (forallxyyc-f20 is now archived, but new versions will have it fixed).