<meta http-equiv="refresh" content="0; URL=noscript.html"> METU | Course Syllabus

Course Objectives

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