Effective Mathematics of the Uncountable
Effective Mathematics of the Uncountable2013
Denis Hirschfeldt, Russell Miller, Noam Greenberg, Joel David Hamkins
Details
- First published
- 2013
- OL Work ID
- OL21057200W
Subjects
Logic, symbolic and mathematicalModel theoryComputable functions