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.
প্রধান লেখক: | Harrington, Leo Anthony |
---|---|
অন্যান্য লেখক: | Gerald E. Sacks. |
বিন্যাস: | গবেষণাপত্র |
ভাষা: | eng |
প্রকাশিত: |
Massachusetts Institute of Technology
2018
|
বিষয়গুলি: | |
অনলাইন ব্যবহার করুন: | http://hdl.handle.net/1721.1/113187 |
অনুরূপ উপাদানগুলি
অনুরূপ উপাদানগুলি
-
Contributions to higher recursion theory
অনুযায়ী: Marcus, Sherry Elizabeth, 1966-
প্রকাশিত: (2005) -
Conjecture and proof : an introduction to mathematical thinking /
অনুযায়ী: 487474 Schwartz, Diane Driscoll
প্রকাশিত: (c199) -
Bijective proof of a conjecture on unit interval posets
অনুযায়ী: Wenjie Fang
প্রকাশিত: (2024-02-01) -
A proof of Tsygan's formality conjecture for an arbitrary smooth manifold
অনুযায়ী: Dolgushev, Vasiliy A
প্রকাশিত: (2006) -
Proof, logic and conjecture : the mathematician's toolbox /
অনুযায়ী: 267708 Wolf, Robert S
প্রকাশিত: (1998)