|
Apr 19, 2024
|
|
|
|
MATH 4200 - Mathematical Logic (3) Prerequisite: MATH 3450 with minimum C grade. The statement calculus, the predicate calculus, mathematical structures, and the deduction of valid consequences; the completeness theorem.
Add to Portfolio (opens a new window)
|
|