@book{7628848,
	author = {"Применение методов мат. логики", конф.},
	title = {III конференция "Применение методов математической логики", Таллин, 4-7 сентября 1983 г.},
	publisher = {Б. и.},
	year = {1983},
	address = {Таллин},
	note = {Загл. обл.: Применение методов математической логики}
}