Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Moschovakis Y.N. [1971] Axioms for computation theories - first draff Logic Coll’69, North-Holland, 199-255 71.11.86 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Moschovakis Y.N. [1965] Notation systems and recursive ordered fields Compositio Math., 17, № 1, 40-71 66.10.45 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Moschovakis Y.N. [1969] Abstract computability and invariant definability J. Symbolic Logic, 34, № 4, 605-633 70.11.50 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Moschovakis Y.N. [1967] Hyperanalitic predicates Trans. Amer. Math. Soc., 129, № 2, 249-282 68.11.46 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Moschovakis Y.N. [1969] Abstract first order computability, II Trans. Amer. Math. Soc., 138, № 4, 465-504 70.03.86 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Moschovakis Y.N. [1967] Many-one degrees of the predicates H α ( x ) Pacif. J. Math., 18, № 2, 329-342 67.10.55 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Moschovakis Y.N. [1964] Recursive metric spaces Fund. Math., 55, № 3, 215-238 65.09.65 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Moschovakis Y.N. [1989] The formal language of recursion J. Symbolic Logic, 54, № 4, 1216-1252 91.01.47 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Moschovakis Y.N. [1969] Abstract first order computability, I Trans. Amer. Math. Soc., 138, № 4, 427-464 70.03.85 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Hinman P.G., Moschovakis Y.N. [1971] Computability over the continuum Logic Coll ’69, North Holland, 77-105 71.11.85 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kechris A.S., Moschovakis Y.N. [1977] Recursion in higter types Handbook of Mathematic Logic, p. C, 681-737, North-Holland (Русский перевод в Справочной книге по математической логике, ч. III , (Ершов Ю.Л. – ред.),...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.... Mileti J.R. MillarRC MillarTS MillerD MillerJS 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. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.