@book{241201,
	author = {Oosten, Jaap van. and ProQuest (Firm)},
	title = {Realizability},
	publisher = {Elsevier,},
	year = {2008.},
	series = {Studies in logic and the foundations of mathematics ;},
	address = {Oxford :},
	edition = {1st ed.},
	url = {https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=331886}
}