Effective Mathematics of the Uncountable / edited by Noam Greenberg, Denis Hirschfeldt, Joel David Hamkins, Russell Miller. - Cambridge : Cambridge University Press, 2013. - 1 online resource (204 pages) - Lecture Notes in Logic ; 41 .

9781139028592 (ebook)


Model theory
Computable functions