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