Terence Tao's 'QED' is an interactive textbook for the web which teaches propositional and first-order logic

Syndicated from the fediverse. Read and engage on the original instance.

No replies yet

No comments on the original post yet.

Terence Tao's 'QED' is an interactive textbook for the web which teaches propositional and first-order logic | Spyke