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
Chong C.T., Mourad K. J. [1992] Σ n -definability without Σ n -induction Trans. Amer. Math. Soc., 334, № 1, 349-363 93.11.86 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Chong C.T., Mourad K. J. [1990] The degree of a Σ n cut Ann. Pure Appl. Logic, 48, № 3, 227-235 91.04.103 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... MillerRG MillerS MillerW Mills C.F. Minsky M.L. Mitchell R. Moggi E. Moh Shaw-kwei Mohrherr J. Moldestad J. Moll R. Monk J.D. Montagna F. Montalban A. MooreD MooreEF Morley M.D. Morozov A.S. Morris P.B. Moschovakis Y.N. Moses M.F. Mostowski A. MouradJ MouradKJ Mrowka S. MuchnikAn.A. Muraki H. Myasnikov A.G. Mycka J. Myhill J. Mytilinaios M.E. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.