PHIL 340 Formal Logic I

A first course in mathematical logic. Topics include calculi and artificial languages, the logistic method, truth functions, propositional calculi, and a language adequate for first order logic.