@misc{indiciae00557e189341, title = {Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators}, author = {Andrzej Indrzejczak}, year = {2024}, doi = {10.1007/978-3-031-43513-3\_8}, url = {https://arxiv.org/abs/2412.01414}, note = {Source identifier: 2412.01414} }