@book{152162,
	author = {Selivanov, Victor,},
	title = {Logic, computation, hierarchies /},
	publisher = {De Gruyter,},
	year = {[2014]},
	series = {Ontos mathematical logic,},
	address = {Boston :},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=11006242}
}