Intuitionism with Truth Tables: A Decision Procedure for IPL Based on RNmatrices

MLA

Leme, Renato, et al. Intuitionism with Truth Tables: A Decision Procedure for IPL Based on RNmatrices. 2023. 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=edsarx&AN=edsarx.2308.13664&authtype=sso&custid=ns315887.

APA

Leme, R., Coniglio, M., & Lopes, B. (2023). Intuitionism with Truth Tables: A Decision Procedure for IPL Based on RNmatrices.

Chicago

Leme, Renato, Marcelo Coniglio, and Bruno Lopes. 2023. “Intuitionism with Truth Tables: A Decision Procedure for IPL Based on RNmatrices.” 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=edsarx&AN=edsarx.2308.13664&authtype=sso&custid=ns315887.