Jon Awbrey
Created page with '==Work Area== ===Functional Quantifiers=== The '''umpire measure''' of type <math>{\Upsilon : (\mathbb{B}^2 \to \mathbb{B}) \to \mathbb{B}}\!</math> links the constant proposit…'
02:24
+905