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

Новости

14 Августа, 2025 Конкурс на замещение должности

03 Июля, 2025 Конкурс на замещение должности

20 Июня, 2025 Конкурс на замещение должности

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

Введение и правила пользования системой

Навигация по авторам:

Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я

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

Поиск

Presburger M. ...

Presburger M. [1929] Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt Comp. Rendus I Cong. Math. des Pays Slaves, (Warszawa, 1929), 92-101 ~ article Вернуться к поиску

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

Авторы на P