PHIL 307 Mathematical Logic

An introduction to and survey of the mathematical study of formalized logical systems.