Course Catalog
Course Catalog
Course Wizard
Course Search
College Wide
UGRD > MATH > 470
Mathematical Logic
Description:
Syntax and semantics of propositional and first order predicate logic. Axiomatic theories and completeness. Brief discussion of incompleteness results.
Offered in:
2012 Spring
| Section | Class Number | Weekly Schedule | Time | Instructor | Location | |
|---|---|---|---|---|---|---|
| 01 | 10257 | TuTh | 04:00 PM - 05:15 PM | Gonzalez,Eduardo A | W01-0055 | More Info |
