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.
Yazar: | |
---|---|
Diğer Yazarlar: | |
Materyal Türü: | Tez |
Dil: | eng |
Baskı/Yayın Bilgisi: |
Massachusetts Institute of Technology
2018
|
Konular: | |
Online Erişim: | http://hdl.handle.net/1721.1/113187 |