Title: Combinatorics, Computability and Logic