Author: Vsesoi͡uznai͡a konferent͡sii͡a po prikladnoĭ logike (2nd 1988 Novosibirsk, Russia)