Language, Proof, and Logic pdf epub mobi txt 电子书 下载 2025
- 逻辑学
- Logic
- 逻辑
- 数学
- Philosophy
- 邏輯學
- 哲學
- 哲学入门
- logic
- proof
- language
- formal
- systems
- automata
- semantics
- theorem
- proving
具体描述
This textbook/software package 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. The accompanying online grading service instantly grades solutions to hundreds of computer exercises. The second edition of "Language, Proof and Logic" represents a major expansion and revision of the original package and includes applications for mobile devices, additional exercises, a dedicated website, and increased software compatibility and support.
作者简介
目录信息
读后感
评分
评分
评分
评分
用户评价
不是很深入，太简单了，很多东西没那么重要但是花了很大篇幅去描述
评分Philos 12A Introduction to Logic 软件很好用...
评分很费劲……
评分简单，明了
评分简单，明了
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有