Click Zach_2017_Sets, Logic and Computation.pdf link to view the file.