MATH713

Mathematical Logic II

Reviews for this courseTestudo

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

Spring 2026

Christian Rosendal

1 review
Average rating: 5.00

Spring 2025

Christian Rosendal

1 review
Average rating: 5.00

Past Semesters

Christian Rosendal

1 review
Average rating: 5.00

Christian Rosendal

1 review
Average rating: 5.00

Christian Rosendal

1 review
Average rating: 5.00

Michael Laskowski

0 reviews
Average rating: N/A

David Kueker

0 reviews
Average rating: N/A

During the Spring 2020 and Spring 2021 semesters, students could choose to take some of their courses pass-fail mid-semester which skews grade data aggregated across multiple semesters.

Average GPA of 3.64 between 38 students*

MATH713 Grade Distribution+-05101520253035404550556065% of studentsABCDFWother
A-: 5.26%
A: 55.26%
A+: 2.63%
B-: 2.63%
B: 21.05%
B+: 2.63%
C: 2.63%
other: 7.89%
* "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.