剧情简介：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 mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science. His first Princeton book, "The Cal...(展开全部)
作者：Alonzo Church
出版社：Princeton University Press
ISBN：9780691029061
