@book{70304,
	author = {Mint͡s︡, G. E. and ebrary, Inc.},
	title = {A short introduction to intuitionistic logic},
	publisher = {Kluwer Academic / Plenum Publishers,},
	year = {2000.},
	series = {University series in mathematics},
	address = {New York :},
	url = {http://site.ebrary.com/lib/strathmore/Doc?id=10052991}
}