modified: content/set-theory/replacement/finiteaxiomatizability.tex

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook

http://openlogicproject.org/

Creative Commons Attribution 4.0 International

1.08k stars 242 forks source link

Closed rzach closed 3 years ago

rzach commented 3 years ago

modified:   content/set-theory/spine/recursion.tex
modified:   content/set-theory/spine/stagesbasics.tex