アロンゾ・チャーチ
The essential features of logic in the Western tradition are well captured in the following statement by a famous logician Alonzo Church :