MATH713
Mathematical Logic II
Prerequisite: MATH712. Incompleteness and undecidability results of Godel, Church, Tarski and others. Recursive function. Basic proof theory and axiomatic set theory.
Spring 2024
1 review
Average rating:
5.00
Spring 2023
1 review
Average rating:
5.00
Past Semesters
11 reviews
Average rating:
4.36
0 reviews
Average rating:
N/A
1 review
Average rating:
5.00
* "W"s are considered to be 0.0 quality points. "Other" grades are not factored into GPA calculation. Grade data not guaranteed to be correct.