OMORI, Hitoshi. 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: 17 jul. 2024.