Contributions to recursion theory on higher types (or, a proof of Harrington's conjecture),
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1973.
| Autor principal: | |
|---|---|
| Outros Autores: | |
| Formato: | Thesis |
| Idioma: | eng |
| Publicado em: |
Massachusetts Institute of Technology
2018
|
| Assuntos: | |
| Acesso em linha: | http://hdl.handle.net/1721.1/113187 |