PHIL 6070

Mathematical Logic

Tulane University of Louisiana · UGRD · Fall 2026

1 section

Catalog description

This course treats soundness and completeness of first-order systems of deduction, arithmetical coding of syntax, unprovability of consistency, and undefinability of truth. The course develops these topics and reflects on their philosophical significance. Instructor approval strongly recommended.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 8 hours ago

001

Availability not recently verified

Class #tulane_louisiana-4486Fall 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?