My presentation about the compactness theorem of propositional and first order logic
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool