作 者：Daishi Yazaki
出 处：Bulletin of the Section of Logic. 2019 ;48(4):245-257.doi:10.18778/0138-0680.48.4.01
出 版 社：Lodz University Press
文 章 ID：249254725
