Teaching

Classes in Mathematical Logic, Philosophy of Mathematics, Foundations of Mathematics, Computation Theory, Logic for Philosophers, Methods of Programming and others.