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

觉得文章有用就打赏一下
未经允许不得转载:finelybook » Logic for Computer Science:Foundations of Automatic Theorem Proving,2nd Edition

评论 抢沙发

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

觉得文章有用就打赏一下

非常感谢你的打赏,我们将继续给力更多优质内容,让我们一起创建更加美好的网络世界!

支付宝扫一扫打赏

微信扫一扫打赏