OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook
http://openlogicproject.org/
Creative Commons Attribution 4.0 International
1.04k stars 237 forks source link

Fix typo, 'X' should be 'A' in relations-as-sets section. #301

Closed beastaugh closed 2 years ago