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