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

Dekker J.C.E. [1965] Closure properties of regressive functions Proc. London Math. Soc., 14, № 2, 226-238 66.08.68 article Вернуться к поиску

Dekker J.C.E. [1969] Countable vector space with recursive operations. Part I J. Symbolic Logic, 34, № 3, 363-387 70.05.60 article Вернуться к поиску

Dekker J.C.E. [1954] A theorem on hypersimple sets Proc. Amer. Math. Soc., 5 , № 5, 791-796 55.2562 ROS article Вернуться к поиску

Dekker J.C.F. [1962] Recursive function theory Amer. Math. Soc., Providence, R.I. 75.05.70 ? book Вернуться к поиску

Dekker J.C.E. [1955] Productive sets Trans. Amer. Math. Soc., 78 , № 1, 129-149 55.5567 ES article Вернуться к поиску

Dekker J.C.E. [1953] Two notes on recursively enumerable sets Proc. Amer. Math. Soc., 4, № 3, 495-501 54.2492 ES 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., Ellentuck E. [1974] Recursion relative to regressive functions Ann. Math. Logic, 6, № 3, 231-257 75.01.128 article Вернуться к поиску

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

Dekker J.C.E. [1953] The constructivity of maximal dual ideals in certain Boolean algebras Pacif. J. Math., 3, 73-101 54.1534 O article Вернуться к поиску

Dekker J.C.E. [1971] Countable vector space with recursive operations. Part II J. Symbolic Logic, 36, № 3, 477-493 72.06.79 article Вернуться к поиску

Dekker J.C.E. [1971] Two notes on vector spaces with recursive operations Notre Dame J. Formal Logic, 12, № 3, 329-334 72.01.85 article Вернуться к поиску

Dekker J.C.E. [1964] The recursive equivalence type of a class of sets Bull. Amer. Math. Soc., 70, № 4, 628-632 65.08.69 article Вернуться к поиску

Barback J., Dekker J.C.E. [1997] Extending finite subsets of an immune set Rocky Mount. J. Math., 27, № 1, 91-121 99.12.52 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 Вернуться к поиску

McLaughlin T.G. [1982] Regressive sets and the theory of isols Dekker ? O book Вернуться к поиску

Downey R. G. [1997] On presentation of algebraic structures Complexity, Logic and Recursion Theory, 157-205, Marcel Dekker ? article Вернуться к поиску

Sorbi A. (ed.) [1997] Complexity, Logic, and Recursion Theory Lect. Notes in Pure and Appl. Math., 187, Marcel Dekker, N.Y ? book Вернуться к поиску

Arslanov M.M. [1997] Degree structures in the local degree theory Lect. Notes in Pure and Appl. Math., 187, 49-74, Marcel Dekker ? O article Вернуться к поиску

Sankappanavar H.P. [1978] Decision problems: history and methods Math. Logic, Proc. I Brazil. Conf., 1977, N.Y.-Basel, Marcel Dekker, 241-291 79.05.67 article Вернуться к поиску

D Daley R.P. Dańko W. Davey K. Davis M. Dawes A.M. Degtev A.N. Dekker J.C.E. Demuth O. Dennis-Jones E.G. Di Paola R.A. Dietzfelbinger M. Ding Decheng Ditchev A.V. Dobrinen N. Dobritsa V. P. Doner J. Dougherty R. Downey R. Dreben B. Driscoll G. C. Jr. Вернуться на главную страницу

Cooper S.B. [1997] Beyond Gödel theorem : the failure to capture information content Lect. Notes in Pure and Appl. Math., 187, 93-122, Marcel Dekker, N.Y. ? OS article Вернуться к поиску