@book{771,
	author = {Smith, Vincent Edward [1915-...]},
	title = {The elements of logic},
	year = {1957}
}