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
Ritter W. [1966] Notation systems and an effective fixed point property Proc. Amer. Math. Soc., 17, № 2, 390-395 67.01.87 E article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ritter W. [1967] Representability of partial recursive functions in formal theories Proc. Amer. Math. Soc., 18, № 4, 647-651 68.07.75 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.R Rabin M. Rackoff C.W. Rao J. Reed R.C. Regan K.W. Reidel D. Reimann J. Reitwiessner C. Remmel J.B. Retzlaff A. Rice H.G. RichterL RichterW RitchieDM RitchieRW Ritter W. Robertson E.L. RobinsonA RobinsonJ RobinsonRM RobinsonRW Rogers H. Jr. RoseGF Rosenstein J. G. Rosser J. B. Routledge N.A. RoyDK Royer J. Rubel L. Rubin M. Ruzzo W.L. Ryan B.E Rybakov A.N. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.