数理論理学とその応用 : RIMS共同研究(公開型) - 嘉田, 勝; 京都大学数理解析研究所 (数理解析研究所講究録, 2022)