MAT 7670
:
Mathematical Logic
The sentential calculus, truth functions, analytic tableaux, natural deduction, first order logic, models, consistency, completeness. Applications to computer science including the P-NP problem.