@book{25462,
	author = {Верещагин, Николай Константинович and Шень, Александр},
	title = {Лекции по математической логике и теории алгоритмов},
	publisher = {МЦНМО},
	year = {2012},
	address = {Москва}
}