Logic for Computer Science: Foundations of Automatic Theorem Proving, 2nd Edition


Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
By 作者:Jean H. Gallier
pages 页数: 544 pages
Publisher Finelybook 出版社: Dover Publications Inc.; 2nd Revised edition edition (31 Oct. 2014)
Language 语言: English
ISBN-10 书号:0486780821
ISBN-13 书号:9780486780825
Book Description to Finelybook sorting
This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and foundations of automatic theorem proving. 2003 edition.


下载地址

Logic for Computer Science 2nd Edition 9780486780825.zip

赞(0) 捐助
未经允许不得转载:finelybook » Logic for Computer Science: Foundations of Automatic Theorem Proving, 2nd Edition
分享到: 更多 (0)

评论 抢沙发

  • 昵称 (必填)
  • 邮箱 (必填)
  • 网址

觉得文章有用就打赏一下文章作者

支付宝扫一扫打赏

微信扫一扫打赏