Konferent͡siia po matemeticheska logika v pamet na A.A. Markov, 1903-1979 (1980 Sofia, Bulgaria)