Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle

MLA

Mark Bickford and Liron Cohen and Robert L. Constable and Vincent Rahli, et al. Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle. 2021. 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=edsoai&AN=edsoai.on1358728120&authtype=sso&custid=ns315887.

APA

Mark Bickford and Liron Cohen and Robert L. Constable and Vincent Rahli, Bickford, M., Cohen, L., Constable, R. L., & Rahli, V. (2021). Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle.

Chicago

Mark Bickford and Liron Cohen and Robert L. Constable and Vincent Rahli, Mark Bickford, Liron Cohen, Robert L. Constable, and Vincent Rahli. 2021. “Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle.” 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=edsoai&AN=edsoai.on1358728120&authtype=sso&custid=ns315887.