Filters

PHL 432 (Course) - Grade Details

(with breakdown by instructor)

Course Title: Logic and its Metatheory

Course Description: Logical consequence, first-order predicate logic with identity, including functions and descriptions. Proof theory and model theory. Topics in metatheory such as completeness, compactness, and the Lowenheim-Skolem Theorems. The axiomatic method and Godel's Incompleteness Theorems.


Matthew W McKeon

Average Grade - 3.132
Median Grade - 4.0
42 total students

Latest grades from Spring 2023

See detailed grade info for this instructor


Advertisements