Proof-theoretic methods in quantifier-free definability

MLA

Kocsis, Zoltan A. Proof-Theoretic Methods in Quantifier-Free Definability. 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.03640&authtype=sso&custid=ns315887.

APA

Kocsis, Z. A. (2023). Proof-theoretic methods in quantifier-free definability.

Chicago

Kocsis, Zoltan A. 2023. “Proof-Theoretic Methods in Quantifier-Free Definability.” 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.03640&authtype=sso&custid=ns315887.