@book{47340,
	author = {Oosten, Jaap Van.},
	title = {Realizability :},
	publisher = {Elsevier,},
	year = {c2008},
	series = {Studies in logic and the foundations of mathematics},
	address = {Oxford :}
}