@book{107688,
	author = {Bostock, David. and ebrary, Inc.},
	title = {Intermediate logic},
	publisher = {Clarendon Press ;},
	year = {1997.},
	address = {Oxford :},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10358533}
}