1. 首页
  2. 编程语言
  3. 其他
  4. Logic for computer science

Logic for computer science

上传者: 2019-07-09 11:06:15上传 GZ文件 1.52MB 热度 39次
Thisisaslightyrevisedversionofthe1985editionofmylogicbook.Manyty-posanderrorshavebeencorrectedandthelinedrawingshavebeenimproved.Mostmistakeswereminor,exceptforasubtleerrorinTheorem4.3.3.Indeed,thesecondpartofthetheoremaboutthecomplexityoftheprooftreeTob-tainedfromaresoluti
用户评论