@book{13416,
	author = {Kalish D},
	title = {Logic techniques of formal reasoning},
	publisher = {Chicago},
	year = {1964},
	address = {Harcourt Brace}
}