Slicing the Truth - On the Computable and Reverse Mathematics of Combinatorial Principles

Denis R. Hirschfeldt. Slicing the Truth - On the Computable and Reverse Mathematics of Combinatorial Principles. Volume 28 of Lecture Notes Series / Institute for Mathematical Sciences / National University of Singapore, World Scientific, 2014. [doi]

Abstract

Abstract is missing.