Effective Mathematics of the Uncountable - Greenberg, Noam; Hirschfeldt, Denis; Hamkins, Joel David; Miller, Russell (Cambridge : Cambridge University Press, 2013)
Keywords: Model theory; Computable functions