OMORI, H. A Note on Ciuciura’s mbC1. Bulletin of the Section of Logic, [S. l.], v. 48, n. 3, p. 161–171, 2019. DOI: 10.18778/0138-0680.48.3.01. Disponível em: https://czasopisma.uni.lodz.pl/bulletin/article/view/6203. Acesso em: 4 may. 2024.