Introduction to Mathematical Logic 豆 0.0分

资源最后更新于 2020-08-19 15:50:46

作者：Alonzo Church

出版社：Princeton University Press

出版日期：1996-01

ISBN：9780691029061

文件格式： pdf

标签： 数理逻辑 数学 计算机 Mathematics 逻辑学 nemlophics

简介· · · · · ·

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...