@book{9540,
	author = {KALISH DONALD},
	title = {Logic Techniques of Formal Reasoning/},
	publisher = {HARCOURT BRACE & WORLD IN},
	year = {1964},
	address = {New York}
}