MATH713

Mathematical Logic II

Reviews for this course Testudo

Prerequisite: MATH712. Incompleteness and undecidability results of Godel, Church, Tarski and others. Recursive function. Basic proof theory and axiomatic set theory.

Spring 2025

Christian Rosendal

2 reviews
Average rating: 5.00

Spring 2024

Christian Rosendal

2 reviews
Average rating: 5.00

Past Semesters

Michael Laskowski

13 reviews
Average rating: 4.46

David Kueker

0 reviews
Average rating: N/A

Christian Rosendal

2 reviews
Average rating: 5.00

Christian Rosendal

2 reviews
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.