ALAM, Abolfazl; MONIRI, Morteza. 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: 9 apr. 2025.