Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles
2014
Algorithmic Randomness and Complexity Algorithmic Randomness and Complexity
2010