News for hackers. Stuff that matters.

A comment on Never use a dependency that you could replace with an afternoon of programming. Parent comment

Re:Never use a dependency that you could replace with an aft... by renewiltord on Tuesday August 11, 2020 @06:03PM (#24126552)
A Tour Through Mathematical Logic. You don't have to do any proofs. If you learn Propositional Logic and First Order Logic you'll already have most of the tools to invent the rest.
[ Parent | on HN ]

There are no comments on this comment yet.