Search results

Kreisel G., Sacks G.E. [1965] Metarecursive sets J. Symbolic Logic, 30, № 3, 318-338 68.07.68 RS article Вернуться к поиску

Kreisel G. [1971] Some reasons for generalizing recursion theory Logic Coll.’69, North-Holland, 139-198 71.10.25 EO article Вернуться к поиску

Kreisel G., Lacombe D., Shoenfield J.R. [1957] Partial recursive functionals and effective operations Constructivity in Mathematics, North-Holland, 290-297 59.7674 ROS article Вернуться к поиску

Kreisel G. [1959] Interpretation of analysis by means of constructive functionals of finite types Constructivity in Mathematics North-Holland, 101-128 64.02.113 EO article Вернуться к поиску

Kreisel G., Shoenfield J.R., Wang Hao [1960] Number theoretic concepts and recursive well-orderings Arch. Math. Logik Grundl., 5. № 1-2, 42-64 61.05.82 O article Вернуться к поиску

Kreisel G., Lacombe D. [1957] Ensembles récursivement mesurables et ensembles récursivement ouverts ou fermés Comp. Rend. Acad. Sci., (Paris), 245, № 14, 1106-1109 58.9494 article Вернуться к поиску

Kreisel G. [1959] Analysis of the Cantor-Bendixson theorem by means of the analytic hierarchy Bull. Acad. Polon. Sci. S´er. Sci. Math. Astr. Phys., 7, 621–626 ~ article Вернуться к поиску

... Kaphengst H. Karp C. Kastanas J.G. Kastermans B. Kechris A.S. KentCF KentT Khoussainov B. M. Kierstead H. Kinber E. B. Kjos-Hanssen B. Kleene S. C. Kleinberg E.M. Klette R. Knight J.F. KoKI Kochen S. Kolaitis P.G. Kolmogorov A.N. Kontostathis K. Kramer R. Kreisel G. Kripke S. Kristiansen L. Krom M. Kučera A. Kudinov O.V. Kumabe M. Kumar R. Kummer M. Kurtz S.A. Вернуться на главную страницу