Some quick notes about a more expressive quantification logic

Towardsabetterquantitativelogic (due to formatting)

https://docs.google.com/document/d/1vN7pFML8N_s8HUMVmpai1rXiP1dLzeB04A9OufssEkI/edit

Leave a Reply