@book{9239141,
	author = {Солодовников, В. В. and Какичев, Л. Г.},
	title = {Основные понятия математической логики и теории алгоритмов},
	publisher = {Машиностроение},
	year = {1968},
	address = {Москва}
}