by creata on 11/17/22, 9:27 AM
by jonnycomputer on 11/17/22, 12:51 PM
I used this book to teach an introduction to logic class. The students certainly appreciated not having to pay >$100 for a text book that they wouldn't read.
by spinningslate on 11/17/22, 8:59 AM
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).
by michaelmior on 11/17/22, 1:25 PM
I think the title might better off start with "forall x" as on the link instead of "Forallx"