Indrzejczak, A. Fregean Description Theory in Proof-Theoretical Setting. LLP 2018, 28, 137-155.