Course Objectives
Polyadic Predicate Logic, Logic of Identity, Definite Descriptions, Model Theory.