@book{832070,
	author = {Набебин, А. А. and Кораблин, Ю. П.},
	title = {Математическая логика и теория алгоритмов},
	publisher = {Московский энергетический ин-т},
	year = {2007},
	address = {Москва}
}