Stefan Volodev Vatev Assistant professorPhDMathematical Logic and ApplicationsEmail: stefanv@fmi.uni-sofia.bgPhone: +359 2 8161 524Room: Room 3, FzF