"An interactive online textbook on propositional logic, from mathematician Terry Tao. Learn by proving things!" teorth.github.io Submitted by mm_ on September 1, 2018 at 2:14 PM in just_post 5 comments 5