Mathematical Logic: A Course With Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems By Cori, Rene Lascar, Daniel By OUP Oxford
Mathematical Logic: A Course With Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems By Cori, Rene Lascar, Daniel By OUP Oxford