Pawlowski P, Urbaniak R. Informal Provability, First-Order BAT Logic and First Steps Towards a Formal Theory of Informal Provability. LLP [Internet]. 2021 Nov. 29 [cited 2024 Apr. 19];31(3):501-27. Available from: https://apcz.umk.pl/LLP/article/view/27607