[1]
A. Indrzejczak, “Fregean Description Theory in Proof-Theoretical Setting”, LLP, vol. 28, no. 1, pp. 137–155, Jun. 2018.