The book explores how build a mechanical inferences by making use of arithmetic operations on a string of numbers representing statements. In this way logic is reduced to a branch of the combinatory calculus. It covers the field of traditional logic by showing that any kind of inference can be mechanically reduced to three-variables and two-premise
€148.00
购买此电子书可免费获赠一本！
格式 PDF ● 网页 400 ● ISBN 9789814411516 ● 出版者 Pan Stanford Publishing ● 发布时间 2016 ● 下载 6 时 ● 货币 EUR ● ID 2829376 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器
来自同一作者的更多电子书 / 编辑
49,595 此类电子书
