Language, Proof and Logic [With Software]

计算机科学技术基础学科

售   价:
495.00
出版时间
2011年10月15日
装      帧
平装
ISBN
9781575866321
复制
页      码
650
语      种
英语
版      次
2
综合评分
暂无评分
我 要 买
- +
库存 17 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
A textbook/software package that covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. It also includes applications for mobile devices, exercises, and a dedicated website.
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个