Author: Vsesoi͡uznai͡a konferent͡sii͡a po prikladnoĭ logike (1985 Novosibirsk, R.S.F.S.R.)