PL 4301

Advanced Logic.

St. Mary's University · UGRD · Fall 2026

1 section

Catalog description

Engages standard topics in advanced predicate logics or metalogic. May include advanced topics on syntax, semantics, proof theory, completeness, decidability, consistency, or the Skolem-Lowenheim theorem. Prerequsite: PL 2310 Symbolic Logic.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 11 hours ago

001

Availability not recently verified

Class #st_mary_s-1384Fall 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?