This is a list of all courses offered by the Math Department.  Not all courses are offered each year.  What is provided is a general description of the courses and the prerequisites.  The actual content may vary.

<- Return to Course List


An introduction to the techniques of formal (and valid) reasoning with emphasis on the (classical) propositional and predicate calculus.


Minimum grade of C- in MATH141.

Level of Rigor


Sample Textbooks

Mathematical Intro to Logic by Enderton

What Is Mathematical Logic, by J.N. Crossley, et al


Computer Science, Structured Programming, Formal Grammars.

If you like this course, you might also consider the following courses

Math 446

Additional Notes


Arguments and how to formalize arguments and then determine (if possible) their validity.

Completeness and soundness of formal systems.

Depending on the preference of the class (and available time) some of the following may also be included:

Godel’s Incompleteness Theorem 

definite descriptions


non-classical logics



other topics are possible.