Библиография Лаврова И.А.

Kleene S.C. [1980] Recursive functionals and quantifiers of finite type revisited, II Proc. “The Kleene Symposium”, (Madison, Wisconsin , USA, 1979), North-Holland, 1-29 ? article Вернуться к поиску

Kleene S.C. [1936] General recursive functions of natural numbers Math. Ann., 112, № 5, 727-742 ~ ROS article Вернуться к поиску

Kleene S.C. [1955] Hierarchies of number-theoretical predicates Bull. Amer. Math. Soc., 61, № 3, 193-213 56.4279 ROS article Вернуться к поиску

Kleene S.C. [1955] Arithmetical predicates and function quatifiers Trans. Amer. Math. Soc., 79, № 2, 312-340 56.7063 ROS article Вернуться к поиску

Kleene S.C. [1959] Countable functionals Constructivity in Mathematics, North-Holland, 81-100 59.3429 EOS article Вернуться к поиску

Kleene S.C. [1936] λ-definability and recursiveness Duke Math. J., 2 , № 2, 340-353 ~ ROS article Вернуться к поиску

Kleene S. C. [1952] Introduction to metamathematics Princeton, N.Y. (Имеется русский перевод) ~ SOR book Вернуться к поиску

Kleene S.C. [1943] Recursive predicates and quantifiers Trans. Amer. Math. Soc., 53, № 1, 41-73 ~ ROS article Вернуться к поиску

Kleene S.C. [1938] On notation for ordinal numbers J. Symbolic Logic, 3, № 4, 150-155 ~ ROS article Вернуться к поиску

Kleene S.C. [1958] Extension of an effectively generated class of functions by enumeration Colloq. Math., 6, 67-78 ? O article Вернуться к поиску

Kleene S.C. [1967] Mathematical Logic J. Wiley and Sons Inc., N.Y. (Имеется русский перевод) 69.01.87 book Вернуться к поиску

Kleene S.C. [1936] A note on recursive functions Bull. Amer. Math. Soc., 42, № 8, 544-546 ~ RO article Вернуться к поиску

Kleene S.C. [1956] A note an computable functionals Indagationes math., 18, № 3, 275-280 59.3429 article Вернуться к поиску

Addison J.W. , Kleene S. C. [1957] A note on function quantification Proc. Amer. Math. Soc., 8, № 5, 1002-1006 59.7662 RO article Вернуться к поиску

Kleene S.C. [1981] Algorithms in various contexts Lect. Notes in Comp. Sci., 122, 355-360, Springer-Verlag 82.06.49 article Вернуться к поиску

Church A., Kleene S.C. [1936] Formal definitions in the theory of ordinal numbers Fund. Math., 28, № 1, 11-21 ~ RO article Вернуться к поиску

Kleene S.C. [1959] Recursive functionals and quantifiers of finite type, I Trans. Amer. Math. Soc., 91, № 1, 1-52 60.11181 ROS article Вернуться к поиску

Kleene S.C. [1944] On the form of the predicates in the theory of constructive ordinals Amer. J. Math., 66, № 1, 41-58 ~ article Вернуться к поиску

Kleene S.C. [1962] Turing-machine computable functionals of finite types, II Proc. London Math. Soc., 12, № 3, 245-258 62.11.60 article Вернуться к поиску

Kleene S.C. [1981] The theory of recursive functions, approaching its centennial Bull. Amer. Math. Soc., 5, № 1, 43-61 82.03.43 O article Вернуться к поиску

Kleene S.C. [1991] Recursive functionals and quantifiers of finite types revisted, V Trans. Amer. Math. Soc., 325, № 2, 593-630 92.04.31 article Вернуться к поиску

Kleene S.C., Post E.L. [1954] The upper semilattice of degrees of recursive unsolvability. Ann. Math., 59, № 3, 379-407 56. 1910 ROS article Вернуться к поиску

Kleene S.C. [1963] Recursive functionals and quantifiers of finite type, II Trans. Amer. Math. Soc., 108, № 1, 106-142 64.06.67 ROS article Вернуться к поиску

Hrbacek K., Simpson S.G. [1980] On Kleene degrees of analytic sets Proc. “The Kleene Symposium”, (Madison, Wisconsin , USA, 1979), North-Holland, 269-274 ? article Вернуться к поиску

Kleene S.C. [1981] Origins of recursive functions 20 Ann. Symp. Found. Comp. Sci., (San Juan, 1979), N.Y., 1979, 371-382 81.01.30 OS article Вернуться к поиску

Kleene S.C. [1955] On the forms of the predicates in the theory of constructive ordinals, II Amer. J. Math., 77, № 3 , 405-428 56.4280 RS article Вернуться к поиску

Kleene S.C. [1982] Recursive functionals and quantifiers of finite type revisited, III Proc. Patras Logic Symp. (Patras, Greece, 1980), North-Holland, 1-40 84.03.89 article Вернуться к поиску

Kleene S.C. [1978] Recursive functionals and quantifiers of finite type revisited, I General Recursion Theory, II, Proc. Symp. (Oslo, 1977), North Holland, 185-222 79.06.73 O article Вернуться к поиску

Kleene S.C. [1962] Herbrand-Gödel style recursive functionals of finite types Recursive Functions Theory, Proc. Symp. Pure Math., 5, Amer. Math. Soc., Providence, RI, 49-75 68.05.61 article Вернуться к поиску

Kleene S.C. [1985] Unimonotone functions of finite types (recursive functionals and quantifiers of finite type revisited IV) Proc. Summer Institute on Recursive Theory (Ithaca, New York), 42, Amer. Math. Soc., Ass. Symbolic Logic, 119-138 86.03.41 O article Вернуться ...

Kleene S.C. [1962] Turing-machine computable functionals of finite types, I Proc. I Iinter. Congress Logic, Methodology, Philosophy Sci., (Stanford, 1960), Stanford Univ. Press, 1962, 38-45 (Русский перевод в сб. “Математическая ...

Mohrherr J. [1983] Kleene index sets and functional m-degrees J. Symbolic Logic, 48, № 3, 829-840 84.07.55 OS article Вернуться к поиску

Welch P. D. [1985] Comparing incomparable Kleene degrees J. Symbolic Logic, 50, № 1, 55-58 86.03.18 article Вернуться к поиску

Muraki H. [1999] Non-distributive upper semilattice of Kleene degrees J. Symbolic Logic, 64, № 1, 147-158 05.08.91 article Вернуться к поиску

Slaman T.A. [1986] On the Kleene degrees of Π 1 1 sets J. Symbolic Logic, 51, № 2, 352-359 86.12.42 article Вернуться к поиску

Cooper S.B. [2001] On a conjecture of Kleene and Post Math. Logic Quarterly, 47, № 1, 3-33 ? O article Вернуться к поиску

Gandy R.O. [1960] On a problem of Kleene’s Bull. Amer. Math. Soc., 66, № 6, 501-502 61.07.86 R article Вернуться к поиску

Клини С. К. [1957] Введение в метаматематику М., ИЛ (Перевод книги Kleene S. C., “Introduction to metamathematics”, 1952.) 57.7591 RE книга Вернуться к поиску

Jockusch C.G. Jr., Soare R.I. [1973] Encodability of Kleene’s O J. Symbolic Logic, 38, № 3, 437-440 74.07.119 S article Вернуться к поиску

Jockusch C.G. Jr. [1975] Recursiveness of initial segmens of Kleene’s O Fund. Math., 87, № 2, 161-167 75.12.51 S article Вернуться к поиску

Simpson S.G. [1980] The hierarchy based on the jump operator Proc. “The Kleene Symposium”, (Madison, Wisconsin , USA, 1979), North-Holland, 203-212 ? article Вернуться к поиску

Simpson S. G. Weitkamp G. [1983] High and low Kleene degrees of coanalitic sets J. Symbolic Logic, 48, № 2, 356-368 84.03.73 article Вернуться к поиску

Клини С. К. [1973] [2005] Математическая логика М., Мир М., Едиториал УРСС (Перевод книги .Kleene S.C. , Mathematical Logic, 1967.) 74.07.89; 06.01.59 E книга Вернуться к поиску

Nerode A., Shore R. A. [1980] Second-order logic and first-order theories of reducibility orderings Proc. “The Kleene Symposium”, (Madison, Wisconsin, USA, 1979), North-Holland, 181-200 ? OS article Вернуться к поиску

K Kach A.M. Kaddah D. Kahr A.S. Kalantari I. Kalimullin I. Sh. Kalmár L Kanda A. 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. Вернуться на главную ...