@book{55492,
	author = {Ershov, Yu L  and Ershov, Yu L },
	title = {Mathematical Logic},
	publisher = {:MIr Publishers },
	year = {1984},
	address = {Moscow}
}