Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles