Towardsabetterquantitativelogic (due to formatting) https://docs.google.com/document/d/1vN7pFML8N_s8HUMVmpai1rXiP1dLzeB04A9OufssEkI/edit
Some quick notes about a more expressive quantification logic
Some quick notes about a more expressive…
Some quick notes about a more expressive quantification logic
Towardsabetterquantitativelogic (due to formatting) https://docs.google.com/document/d/1vN7pFML8N_s8HUMVmpai1rXiP1dLzeB04A9OufssEkI/edit