Revision history of "Directory talk:Jon Awbrey/Papers/Functional Logic : Quantification Theory"

MyWikiBiz, Author Your Legacy — Sunday November 17, 2024
Jump to navigationJump to search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • curprev 02:24, 5 July 2013‎ Jon Awbrey talk contribs‎ 905 bytes +905‎ 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…'
Retrieved from "https://mywikibiz.com/Directory_talk:Jon_Awbrey/Papers/Functional_Logic_:_Quantification_Theory"