MA 38500, Spring 2026
Course Description
Credit Hours: 3.00. Propositional calculus and predicate calculus with applications to mathematical proofs, valid arguments, switching theory, and formal languages. MA 301 is strongly recommended. Typically offered Spring.
Course Materials
| Section | Type | Title | Author |
|---|---|---|---|
| ALL | Textbook | A mathematical introduction to logic (2nd) | 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