PHI 113

Metalogic

University of California Davis · UGRD · Fall 2026

1 section

Catalog description

Course Description: The metalogic of classical propositional and first-order predicate logic. Consistency, soundness and completeness of both propositional and predicate logic. The Löwenheim-Skolem theorem for predicate logic. Undecidablity of predicate logic.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 5 hours ago

001

Availability not recently verified

Class #california_davis-8245Fall 2026UGRD4 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?