PHIL 3070 Mathematical Logic Mathematical Logic An introduction to and survey of the mathematical study of formalized logical systems. credit hours: 3