COMPSCI 487

Introduction to Mathematical Logic

Duke University · UGRD · Fall 2026

1 section

Catalog description

An introduction to mathematical logic focusing on first-order logic and the relationship between truth and provability. Topics include Peano arithmetic, Gödel's completeness and incompleteness theorems, and some elementary model theory. Recommended prerequisite: Mathematics 216, 218, or 221.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 3 hours ago

001

Availability not recently verified

Class #duke-COMPSCI487Fall 2026UGRD1 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?