III конференция "Применение методов математической логики", Таллин, 4-7 сент. 1983 г. : Тез. докл.1983212 с.