Pawlowski, Pawel, and Rafal Urbaniak. “Informal Provability, First-Order BAT Logic and First Steps Towards a Formal Theory of Informal Provability”. Logic and Logical Philosophy 31, no. 3 (November 29, 2021): 501–527. Accessed April 25, 2024. https://apcz.umk.pl/LLP/article/view/27607.