@book{190864,
	author = {Ишмуратов А. Т.},
	title = {Исследования по математической логике и теории алгоритмов :},
	publisher = {Наука ,},
	year = {1981.},
	address = {Киев :}
}