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

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

Gandy R.O., Sacks G.E. [1967] A minimal hyperdegree Fund. Math., 61, № 2, 215-223 68.07.69 article Вернуться к поиску

Gandy R.O. [1984] Some relations between classes of low computational complexity Math. Soc., 16, № 2, 127-134 84.В8.451 O article Вернуться к поиску

Gandy R.O., Hyland J.M.E. [1971] Computable and recursively countable functions of higher type Logic Coll.’69, North Holland, 407-438 ? O article Вернуться к поиску

Gandy R.O. [1967] General recursive functionals of finite types and hierarchies of functions Ann. Fac. Sci., Univ. Clermont Math, 35, № 4, 5-24 69.01.77 O article Вернуться к поиску

Gandy R.O. [1967] Computable functional of finite type, I Sets, Models and Recursion Theory, Coll. and Summer School Math. Logic (Leichester, England, 1965), North-Holland, 202-242 69.01.76 article Вернуться к поиску

G GaleA GaleD Gandy R.O. Ganesan K. Gao Su Gasarch W.I. Georgieva N. Gerla G. Gill J. Giorgi M.B. Giusto M. Gladstone M.D. Glasser C. Gödel K. Goetze B. GoldEM Goldfarb W.D. Goncharov S.S. Gonshor H. Gordon C. E. Grant P.W. Grassin J. Greenberg N. Griffiths E.J. J. Griffor ...