@misc{indiciae78b3ede5ee35, title = {Sundholm's explanation of meaning: logical atavism and the nature of proofs}, author = {Antonio Piccolomini d'Aragona}, year = {2025}, url = {https://arxiv.org/abs/2501.07588}, note = {Source identifier: 2501.07588} }