@book{1854819,
	author = {Богульская, Н. А. and Вепринцев, Д. В.},
	title = {Математическая логика и теория алгоритмов},
	publisher = {СФУ},
	year = {2011},
	address = {Красноярск}
}