@book{1752,
	author = {Novikov, P. S.},
	title = {Elements of mathematical logic},
	publisher = {Oliver & Boyd;},
	year = {[1964]},
	series = {Adiwes international series in mathematics},
	address = {Edinburgh,}
}