Deductive Systems
Credit Hours:
3

Symbolic-mathematical logic, examining the propositional and predicate calculi, with emphasis on problems in translation and formalization and topics in the philosophy of logic and mathematics.

Prerequisites:
PHIL2500 or POD