E-recursion, forcing and C*-algebras - Chong, C.-T. (Chi-Tat), 1949- (New Jersey : World Scientific, 2014)
Includes bibliographical references.
Keywords: Recursion theory; Forcing (Model theory).; C*-algebras.