Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Smullyan R.M. [1958] Undecidability and recursive inseparability Z. math. Logik und Grundl. Math., 4, № 2, 143-147 59.10732 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Smullyan R.M. [1962] On Posr’s canonical systems J. Symbolic Logic, 27, № 1, 55-57 63.11.47 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Smullyan R.M. [1963] Creativity and effective inseparability Trans. Amer. Math. Soc., 109, № 1, 135-145 64.11.72 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Smullyan R.M. [1967] More on transfinite recursion Trans. Amer. Math. Soc., 29, № 5, 555-559 68.09.90 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Smullyan R.M. [1964] Effectively simple sets Proc. Amer. Math. Soc., 15, № 4, 893-894 65.05.49 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Smullyan R.M. [1961] Theory of formal systems Princeton Univ. Press, N.J. (Имеется русский перевод.) ~; 63.06.71 EOR book Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Smullyan R.M. [1965] On transfinite recursion Trans. Amer. Math. Soc., 28, № 2, 175-185 67.01.93 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Smullyan R.M. [1963] Pseudouniform reducibility J. Math. Soc. Japan, 15, № 2, 128-133 64.08.58 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Smullyan R.M. [1960] Theories with effectively inseparable nuclei Z. math. Logik und Grundl. Math., 6 , № 3-4, 219-224 61.12.142 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Putnam H., Smullyan R.M. [1960] Exact separation of recursively enumerable sets within theories Proc. Amer. Math. Soc., 11, № 4, 574-577 61.06.102 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Смальян Р. [1981] Теория формальных систем М., Наука (Перевод книги Smullyan, R.M. “Theory of formal systems”, 1961.) 82.02.18 книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.... N. Shavrukov V. Yu. Shelach S. Shen A.Kh. Shepherdson J.C. Shi Nian Dong Shinoda J. Shlapentokh A. Shoenfield J.R. Shore R.A. Silibovski S. Simon J. Simpson S.G. Skolem T. Skordev D. Skvortsova E.Z. Slaman T. A. Slinko A. Smith R.L. Smuga-Otto M. J. Smullyan R.M. Soare R. I. SolomonDR SolomonR Solon B. Solovay R.M. Sorbi A. SoskovIN SoskovaAA SoskovaMI Spector C. Sperschneider V. Spreen D. Stanley L. Stearns R.E. Steel J.R. Stefani S. Stephan F. Stephen B. Stewart F.M. Steyaert J.M. Stillwell J. Stob M. Stockmeyer ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.