@book{7487744,
	author = {Захарьящев, М.В.},
	title = {Математическая логика в программировании},
	publisher = {Мир},
	year = {1991},
	series = {Математическое обеспечение ЭВМ},
	address = {М.}
}