CSE 371
Logic
Stony Brook University · UGRD · Fall 2026
1 section
Catalog description
A survey of the logical foundations of mathematics: development of propositional calculus and quantification theory, the notions of a proof and of a model, the completeness theorem, Goedel’s incompleteness theorem.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #stony_brook-CSE371Fall 2026UGRD3 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?