PHIL 250: Basic Concepts in Mathematical Logic (PHIL 150)
The concepts and techniques used in mathematical logic, primarily through the study of the language of first order logic. Topics: formalization, proof, propositional logic, quantifiers, sets, mathematical induction, modal logics and the logic of diagrams.
Terms: Aut
| Units: 4
Instructors:
Barker-Plummer, D. (PI)
Filter Results: