MATH 114L

Mathematical Logic

Mathematics · 4 units · Undergraduate upper division (100-199)

Open the requisite map View official UCLA course listing ↗Find on Bruinwalk ↗

Introduction to mathematical logic, aiming primarily at completeness and incompleteness theorems of Gödel. Propositional and predicate logic; syntax and semantics; formal deduction; completeness, compactness, and Lowenheim/Skolem theorems. Formal number theory: nonstandard models; Gödel incompleteness theorem.

P/NP or letter grading.

When it runs

Spring 2026
Spring 2027

Scheduled, not typical — from UCLA’s Schedule of Classes, which publishes Fall 2025 through Spring 2027 and nothing before it.

Checking the Schedule of Classes…

Requisites

Official UCLA wording
Requisite: course 110A or 131A or Philosophy 135.

BruinTree reads · Prerequisite

confidence 1.00 · from text

one of

Requires

Everything that has to come before this course, not just the courses named in the requisite above.

MATH 114L

MATH 110AAlgebra
- MATH 115ALinear Algebra
  - MATH 33ALinear Algebra and Applicationsanother path to it
MATH 131AAnalysis
- MATH 32BCalculus of Several Variables
  - MATH 31B

Unlocks

What this course is a requisite for, and what those courses lead to in turn.

No course in the catalog lists this as a requisite.