∃∀λ@programming.dev to math@lemmy.worldEnglish · 2 months agoTerence Tao's 'QED' is an interactive textbook for the web which teaches propositional and first-order logicteorth.github.ioexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkTerence Tao's 'QED' is an interactive textbook for the web which teaches propositional and first-order logicteorth.github.io∃∀λ@programming.dev to math@lemmy.worldEnglish · 2 months agomessage-square0linkfedilink
