Search results
News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Grilliot T. [1969] Hierarchies based on objects of finite type J. Symbolic Logic, 34, № 2, 177-182 70.03.81 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Grilliot T. [1969] Selection functions for recursive functionals Notre Dame J. Formal Logic, 10, № 3 , 225-234 70.04.70 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Grilliot T. [1971] On effectively discontinuons type-2 objects J. Symbolic Logic, 36, № 2, 245-248 72.04.85 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Grilliot T. [1971] Inductive definitions and computability Trans. Amer. Math. Soc., 158, № 2, 309-317 72.03.45 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... 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 E.R. Grilliot T. Groszek M. J. Grzegorczyk A. Guichard D. Gurevich Ju. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.