Файл:MLLP VP r06.pdf — история изменений

Перейти к: навигация, поиск

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Сравнить.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — незначительные изменения.

  • (текущ. | пред.) 12:53, 9 декабря 2024‎ PodymovVV (обсуждение | вклад)‎ . . (246 байта) (+246)‎ . . (Математическая логика и логическое программирование, третий поток. Вне программы 6. Формальная арифметика. Теорема Гёделя о неполноте)
Источник — «https://mk.cs.msu.ru/index.php/Файл:MLLP_VP_r06.pdf»