@book{172562,
	author = {Copi, Irving M.},
	title = {The theory of logical types / },
	publisher = {Routledge & Kegan Paul, },
	year = {1971.},
	series = {Monographs in modern logic},
	address = {London : }
}