Indrzejczak, Andrzej. 2018. “Fregean Description Theory in Proof-Theoretical Setting”. Logic and Logical Philosophy 28 (1):137-55. https://doi.org/10.12775/LLP.2018.008.