TE
TechEcho
Home24h TopNewestBestAskShowJobs
GitHubTwitter
Home

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

GitHubTwitter

Home

HomeNewestBestAskShowJobs

Resources

HackerNews APIOriginal HackerNewsNext.js

© 2025 TechEcho. All rights reserved.

Forall X – An Introduction to Formal Logic

58 pointsby anupjover 2 years ago

4 comments

creataover 2 years ago
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 未加载
jonnycomputerover 2 years ago
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 未加载
spinningslateover 2 years ago
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 未加载
michaelmiorover 2 years ago
I think the title might better off start with &quot;forall x&quot; as on the link instead of &quot;Forallx&quot;