PHIL060 PO
Download as PDF
Logic
Course Title
Logic
Description
Logic. Introduction to mathematical logic through the development of proof techniques (natural deduction and semantic tableaux) and model theory for sentential logic and quantification theory. Properties of logical systems, such as consistency, completeness and decidability.
Course Attributes
PO Area 5 Requirement, Do Not Display - PAC 3, Philosophy
Min
1
Max
1
Repeatable
No