Current courses



Old Courses: Logic I, Logic II, Set Theory, Forcing, Model Theory, Modal Logic, Philosophy of Mathematics, Foundations of Mathematics, Independence in Set Theory, Meta-mathematics.