MATH 220B
Mathematical Logic
Grades
Grade records describe outcomes. For what a course is like to take, read student reviews written on dibs below or follow the separate external review link.
Workload and assignments
Reported assignments across instructors and terms. This term's syllabus may differ.
No reviews were listed in the BruinWalk source checked 3 hours ago. Assignment details are unknown. Check the current syllabus.
What comes first
dibs has no class page for MATH 220B, in any term it holds, that it can state prerequisites from, so it cannot say what comes before it. A page read while a class still reads Tentative does not count.
Counted in courses rather than quarters: dibs does not know which of them a department lets you take together.
From the registrar's catalog
Lecture, three hours. Requisite: course M114S. Fundamental methods and results in mathematical logic, using mathematical methods to reason about existence or nonexistence of proofs and computations in many different settings. Topics include compactness theorem, saturation of models, completeness and incompleteness theorems of Gödel, Turing computability and degrees of unsolvability, recursion in Baire space, Zermelo/Fraenkel axioms, universe of constructible sets, and related equiconsistency results in set theory. S/U or letter grading.
Sections in Winter 2026
From the people who took it
Student reviews
What taking MATH 220B was like: the work, the teaching, and what students wish they’d known.
Your experience could be the first.
No student reviews are available to read on dibs for this course yet. Took it? Tell the next person what helped, what was hard, and how you spent your time.
Looking for more perspectives?
External reviews are separate and do not count toward the dibs rating.