@book{316368,
	author = {Selivanov, Victor,},
	title = {Logic, computation, hierarchies /},
	publisher = {De Gruyter,},
	year = {[2014]},
	series = {Ontos mathematical logic,},
	address = {Boston :},
	url = {https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=1652547}
}