预售 英文预定 Metalogic: Intro to Metatheory Standard First Order Logic umd mobi chm 夸克云 免费 azw3 下载 pdf

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century. Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.

暂无相关目录，正在全力查找中！

暂无相关内容，正在全力查找中

暂无出版社相关信息，正在全力查找中！

暂无相关书籍摘录，正在全力查找中！

在线阅读地址：预售 英文预定 Metalogic: Intro to Metatheory Standard First Order Logic在线阅读

在线听书地址：预售 英文预定 Metalogic: Intro to Metatheory Standard First Order Logic在线收听

在线购买地址：预售 英文预定 Metalogic: Intro to Metatheory Standard First Order Logic在线购买

暂无原文赏析，正在全力查找中！

书籍介绍

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century. Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.