Speitel, Sebastian G. W. “Logical Constants and Arithmetical Forms”. Logic and Logical Philosophy 32, no. 3 (June 23, 2023): 495–510. Accessed July 18, 2024. https://apcz.umk.pl/LLP/article/view/43725.