Text this: Всесоюзная конференция по прикладной логике, Новосибирск, 22-24 октября 1985 г.