PHIL 29400/39600 Intermediate Logic
In this course, we will prove the soundness and completeness of deductive systems for both sentential and first-order predicate logic. We will also establish related results in elementary model theory, such as the compactness theorem for first-order logic, the Lӧwenheim-Skolem theorem and Lindstrӧm's theorem. (B) (II)
Elementary Logic or the equivalent.