PAWLOWSKI, Pawel and URBANIAK, Rafal. Informal Provability, First-Order BAT Logic and First Steps Towards a Formal Theory of Informal Provability. Logic and Logical Philosophy. Online. 29 November 2021. Vol. 31, no. 3, pp. 501-527. [Accessed 26 December 2025]. DOI 10.12775/LLP.2021.016.