@book{33050,
	author = {Novikov, P. S.},
	title = {Elements of mathematial logic},
	publisher = {Oliver & Boyd,},
	year = {1964},
	address = {London :}
}