Sets and computations - Friedman, Sy-David 1953-; Friedman, Sy-David 1953-; Raghavan, Dilip 1980-; Raghavan, Dilip 1980-; Yang, Yue 1964- (Lecture notes series, Institute for Mathematical Sciences, National University of Singapore, 2018)