TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Forall X – An Introduction to Formal Logic

58 点作者 anupj超过 2 年前

4 条评论

creata超过 2 年前
Why do there seem to be so many forks of this book, like:<p><a href="https:&#x2F;&#x2F;openlogicproject.org&#x2F;2017&#x2F;01&#x2F;18&#x2F;forall-x-calgary-remix&#x2F;" rel="nofollow">https:&#x2F;&#x2F;openlogicproject.org&#x2F;2017&#x2F;01&#x2F;18&#x2F;forall-x-calgary-rem...</a>
评论 #33636957 未加载
jonnycomputer超过 2 年前
I used this book to teach an introduction to logic class. The students certainly appreciated not having to pay &gt;$100 for a text book that they wouldn&#x27;t read.
评论 #33639125 未加载
spinningslate超过 2 年前
Logic is my favourite branch of maths. It still boggles my brain to think that the fearsome complexity of computing today ultimately boils down to True, False and a handful of logical connectives (conjunction, disjunction, negation).
评论 #33638244 未加载
michaelmior超过 2 年前
I think the title might better off start with &quot;forall x&quot; as on the link instead of &quot;Forallx&quot;