@book{754990,
	author = {Copi Irving M},
	title = {Theory of logical types.},
	publisher = {Routledge       },
	year = {1971},
	series = {?Monographes in modern logic series.},
	address = {London}
}