American philosopher and mathematician best remembered for his revisions on the theory of logic.
He studied Infinitary Logic at Stanford University.
He was selected as a Fellow of the American Academy of Arts and Sciences in 1990.
His family was residing in Independence, Missouri, when he was born.
He and cartoonist Ollie Johnston both studied at Stanford University.