Slicing the Truth: On the Computability
Theoretic and Reverse Mathematical Analysis of Combinatorial
Principles, Lecture Notes Series,
Institute for Mathematical Sciences, National University of
Singapore, World Scientific, 2014