Courses

Logic I

Sentential and first-order logic from both deductive and semantic points of view, and some elementary metatheorems are studied in this course.

• Hours: 56 (3-1T)