Skordev, D. SOME SHORT HISTORICAL NOTES ON DEVELOPMENT OF MATHEMATICAL LOGIC IN SOFIA. Ann. Sofia Univ. Fac. Math. and Inf. 2004, 96, 11-21.