Talk:Department of Mathematical Logic (Bulgarian Academy of Sciences)