Pawlowski, P. and 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 (Nov. 2021), 501–527. DOI:https://doi.org/10.12775/LLP.2021.016.