Author: Vsesoi͡uznai͡a konferent͡sii͡a Primenenie metodov matematicheskoĭ logiki (4th 1986? Tallinn, Estonia?)