Undergraduate 2019-2020

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.

Credits

3