PAWLOWSKI, Pawel; URBANIAK, Rafal. Informal Provability, First-Order BAT Logic and First Steps Towards a Formal Theory of Informal Provability. Logic and Logical Philosophy, [S. l.], v. 31, n. 3, p. 501–527, 2021. DOI: 10.12775/LLP.2021.016. Disponível em: https://apcz.umk.pl/LLP/article/view/27607. Acesso em: 26 dec. 2025.