ファイルを表示するには Zach_2017_Sets, Logic and Computation.pdf リンクをクリックしてください。