Fix typo in first-order-logic/beyond/intuitionistic-logic.tex - Githubissues

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook

http://openlogicproject.org/

Creative Commons Attribution 4.0 International

1.06k stars 240 forks source link

Fix typo in first-order-logic/beyond/intuitionistic-logic.tex #314

Closed severen closed 2 years ago

rzach commented 2 years ago

Thanks!