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
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