@book{65131,
	author = {Min�t�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/rucke/Doc?id=10052991}
}