@book{233675,
	author = {Queiroz, Ruy J. G. B. de. and Oliveira, Anjolina G. de. and ebrary, Inc.},
	title = {The functional interpretation of logical deduction},
	publisher = {World Scientific,},
	year = {c2012.},
	series = {Advances in logic ;},
	address = {Singapore :},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10529392}
}