search

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 typos in "Semantics of FOL" chapter #307

Closed furcyd closed 2 years ago

furcyd commented 2 years ago
  1. Fixed minor typos in several sections.
  2. Changed one subscript in the proof of Proposition 13 in assignments.tex
rzach commented 2 years ago

Thanks!