@book{21458,
	author = {Novikov, P.S.; Others},
	title = {Elements of mathematical logic},
	year = {1964}
}