E-recursion, forcing, and C*- algebras - Chong, Chitat, Ed. (New Jersey World Scientific, 2014)
Keywords: Recursion theory; Logic