論理学への数学的手引き - Enderton, Herbert B; 嘉田, 勝 (1月と7月, 2020)