Pawlowski, P., & Urbaniak, R. (2021). Informal Provability, First-Order BAT Logic and First Steps Towards a Formal Theory of Informal Provability. Logic and Logical Philosophy, 31(3), 501–527. https://doi.org/10.12775/LLP.2021.016