Dobromir Pavlov Kralchev Assistant professorPhDMathematical Logic and ApplicationsEmail: kralchev@fmi.uni-sofia.bgPhone: +359 2 8161-533Room: 503