COURSES OFFERED

Course title	Lecturer(s)	Semester (*)
FUNDAMENTAL COURSES (COMPULSORY)
Basic Model Theory			2
Basic Set Theory		1
Computability		1
Mathematical Logic			2
Non-Classical Logics		1
OPTIONAL COURSES
Abstract Algebraic Logic				3
Advanced Model Theory				3
Algebraic Logic			2
Combinatorial Set Theory			2
Complexity			2		4
The Development of Formal Logic			2
Introduction to Mathematical Logic		1
Many-Valued Logics				3
Modal Logic			2
Models of Set Theory				3
Order, Lattices and Boolean Algebras		1
Proof Theory, and Automated Theorem Proving				3
Universal Algebra		1

(*) Please note that the list of optional courses and their distribution in semesters is subject to change.