ALAM, A.; MONIRI, M. Models of Bounded Arithmetic Theories and Some Related Complexity Questions. Bulletin of the Section of Logic, [S. l.], v. 51, n. 2, p. 163–176, 2022. DOI: 10.18778/0138-0680.2022.03. Disponível em: https://czasopisma.uni.lodz.pl/bulletin/article/view/8225. Acesso em: 29 mar. 2024.