<![CDATA[Terence Tao's 'QED' is an interactive textbook for the web which teaches propositional and first-order logic]]>

<![CDATA[Terence Tao's 'QED' is an interactive textbook for the web which teaches propositional and first-order logic]]>This post did not contain any content.]]>https://forum.ieu.app/topic/dab14277-d324-4be4-a4d9-88cb3e376b41/terence-tao-s-qed-is-an-interactive-textbook-for-the-web-which-teaches-propositional-and-first-order-logicRSS for NodeSun, 06 Sep 2026 07:31:29 GMTWed, 02 Sep 2026 12:31:59 GMT60