Speitel, S. G. W. “Logical Constants and Arithmetical Forms”. Logic and Logical Philosophy, vol. 32, no. 3, June 2023, pp. 495-10, doi:10.12775/LLP.2023.012.