Search results

Myhill J. [1953] Criteria of constructibility for real numbers J. Symbolic Logic, 18, № 1, 7-10 56.1916 ES article Вернуться к поиску

Myhill J. [1959] Finitely representable functions Constructivity in Mathematics, North-Holland, 195-207 ? RS article Вернуться к поиску

Myhill J. [1958] Recursive equivalence types and combinatorial functions Bull. Amer. Math. Soc., 64 , № 6, 373-376 59.7667 O article Вернуться к поиску

Myhill J. [1961] Category methods in recursion theory Pacif. J. Math., 11, № 4, 1479-1486 63.05.61 RS article Вернуться к поиску

Myhill J. [1959] Recursive diagraphs, splinters and cylinders Math. Ann., 138, № 3, 211-218 62.02.308 RS article Вернуться к поиску

Myhill J. [1955] Creative sets Z. math. Logik und Grundl. Math., 1, № 2, 97-108 57.2844 REOS article Вернуться к поиску

Dekker J.C.E., Myhill J. [1958] Retraceable sets Canad. J. Math., 10 , № 3, 357-373 59.9691 ROS article Вернуться к поиску

Dekker J.C.E., Myhill J. [1960] Recursive equivalence types Univ. California Publ. Math., 3, № 3, 67-214 62.05.81 ROS article Вернуться к поиску

Myhill J. [1961] Note on degrees of partial functions Proc. Amer. Math. Soc., 12, № 4, 519-521 63.11.48 ROS article Вернуться к поиску

Myhill J., Shepherdson J.C. [1955] Effective operations on partial recursive functions Z. math. Logik und Grundl. Math., 1, № 4, 310-317 59.1178 REOSG article Вернуться к поиску

Dekker J.C.E., Myhill J. [1958] Some theorems on classes of recursively enumerable sets Trans. Amer. Math. Soc., 89 , № 1, 25-59 60.2667 REOS article Вернуться к поиску

Myhill J. [1953] Three contributions to recursive function theory Actes du XI congrés international de philosophie (Bruxelles, 1953), XIV, North-Holland, 50-59 56.2717 RS article Вернуться к поиску

Myhill J. [1971] A recursive function, defined on a compact interval and having a continuous derivative that is not recursive Michigan Math. J., 18, № 2, 97-98 72.01.78 S article Вернуться к поиску

Myhill J. [1962] Recursive equivalence types and combinatorial functions Proc. I Inter. Congress Logic, Methodology, Philosophy Sci., (Stanford, 1960), Stanford Univ. Press, 1962, 46-55 (Русский перевод в сб. “Математическая ...

... E. Moh Shaw-kwei Mohrherr J. Moldestad J. Moll R. Monk J.D. Montagna F. Montalban A. MooreD MooreEF Morley M.D. Morozov A.S. Morris P.B. Moschovakis Y.N. Moses M.F. Mostowski A. MouradJ MouradKJ Mrowka S. MuchnikAn.A. Muraki H. Myasnikov A.G. Mycka J. Myhill J. Mytilinaios M.E. Вернуться на главную страницу