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
Aczel P. [1970] Representability in some systems of second order arithmetic Israel J. Math., 8, № 4, 309-328 71.05.82 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Aczel P. [1975] Recursivey density types and Nerode extensions of arithmetic J. Austral. Math. Soc., A20, № 2, 146-158 76.02.84 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Aczel P., Hinman P.G. [1974] Recursion in the superjump General Recursion Theory, II, Proc. Symp. (Oslo, 1974), 3-41 North Holland 75.06.123 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Aczel P. [1977] An introduction to inductive definitions Handbook of Mathematic Logic, p. C, North-Holland, 1977, 739-782 (Русский перевод в Справочной книге по математической логике, ч. III, (Ершов ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.A AbianS Abraham U. Ackermann W. Aczel P. Addison J.W. Adleman L.M. Afshari B. Ahmad S. Alfeld Ch. Allender E. W. Aloisio P. Alton D.A. Ambos-Spies K. Appel K.I. AptKR Arbib M.A. Arslanov M. M, AshCJ AsserG. Ausiello G. AxJ Axt P. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.