MA 38500 - Introduction To Logic

Credit Hours: 3.00. Propositional calculus and predicate calculus with applications to mathematical proofs, valid arguments, switching theory, and formal languages. Typically offered Spring.