Introduction to Mathematical Logic
Alonzo Church
评分 暂无
Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematica