Cite
A Completeness Result for Inequational Reasoning in a Full Higher-Order Setting
MLA
Moss, Lawrence S., and Thomas F. Icard. A Completeness Result for Inequational Reasoning in a Full Higher-Order Setting. Feb. 2022. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.doi.dedup.....dc5bce362057fa4b068f84c3a6b32036&authtype=sso&custid=ns315887.
APA
Moss, L. S., & Icard, T. F. (2022). A Completeness Result for Inequational Reasoning in a Full Higher-Order Setting.
Chicago
Moss, Lawrence S., and Thomas F. Icard. 2022. “A Completeness Result for Inequational Reasoning in a Full Higher-Order Setting,” February. http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.doi.dedup.....dc5bce362057fa4b068f84c3a6b32036&authtype=sso&custid=ns315887.