Computability and Complexity - Day; Fellows, Michael; Greenberg, Noam; Khoussainov, Bakhadyr; Melnikov, Alexander; Rosamond, Frances (Springer International Publishing, 2017)