Библиография Лаврова И.А.

Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)

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

Nadel M.E.

Nadel M.E. [1974] Scott sentences and admissible sets Ann. Math. Logic., 7, № 2-3, 267-294 75.05.107 article Вернуться к поиску

Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.

Knight J. F.,Nadel M.E. ...

Knight J. F., Nadel M.E. [1982] Expansions of models and Turing degrees J. Symbolic Logic, 47, № 3, 587-604 83.04.76 G article Вернуться к поиску

Авторы на N

N Nadel M.E. Neis H.C. Nelson G.C. Nerode A. Nessel J. Ng Keng Meng Nies A. Nikolova S.K. Normann D. Вернуться на главную страницу