© 2026 Course Rater

About Join Us Support Privacy

PHIL 479: Logic III - Student Reviews & Tips | CourseRater

Overview Reviews Discussions Study Resources

Home
University of Calgary
Philosophy
PHIL 479

PHIL 479

Logic III

Thinking...

Advanced metatheory for logical systems. Godel's incompleteness theorems, models of arithmetic, and definability. Prerequisite(s): Philosophy 379 ...

Description

Advanced metatheory for logical systems. Godel's incompleteness theorems, models of arithmetic, and definability. Prerequisite(s): Philosophy 379 ...

Study Resources

Reviews

Discussions

Similar courses

Discussions

Syllabus

https://calendar.ucalgary.ca/courses/1318841

Ucalgary