Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity

MLA

Nakamura, Yoshiki. Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity. 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.2310.02845&authtype=sso&custid=ns315887.

APA

Nakamura, Y. (2023). Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity.

Chicago

Nakamura, Yoshiki. 2023. “Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity.” 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.2310.02845&authtype=sso&custid=ns315887.