Logic for Applications 短评

热门

  • 2 无名的伞 2017-08-31 21:57:31

    虽然只看了propositional logic和predicate logic, 但是仍然要力荐！这本书从formal language的各个构成来讲：alphabet, syntax&semantics, axiom, rules of inference，通俗易懂，十分优秀

<< 首页 < 前页 后页 >

> Logic for Applications

Logic for Applications
作者: Anil Nerode, Richard Shore
isbn: 0387948937
书名: Logic for Applications
页数: 456
定价: USD 169.00
出版社: Springer
出版年: 1997-2-1
装帧: Hardcover