Omori, H. (2019). A Note on Ciuciura’s mbC1. Bulletin of the Section of Logic, 48(3), 161–171. https://doi.org/10.18778/0138-0680.48.3.01