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

Update forallx-ubc-8-predicate.tex #26

Closed automaton777 closed 1 year ago

automaton777 commented 2 years ago

Fixes jonathanichikawa/for-all-x#24