Machine generated authority record

Work cat.: (OSt)1542735: The Univ Of Chicago, Usa 956493, Slicing the Truth: on the Computable and Reverse Mathematics of Combinatorial Principles