MA 38500, Spring 2026
Introduction To Logic

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

Instructor Info

Section Room Time Instructor Office
001 LILY G401 1:30PM TR Thomas Sinclair

Course Materials

Section Type Title Author
ALL TEXT A mathematical introduction to logic Enderton, Herbert B

Important Notes

  • ADA policies: please see our ADA Information page for more details.
  • In the event of a missed exam, see your instructor/professor as soon as possible.
  • See the online course evaluation page for more information on how we collect course feedback from students.