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

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

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

  • (текущ. | пред.) 12:52, 9 декабря 2024‎ PodymovVV (обсуждение | вклад)‎ . . (200 байта) (+200)‎ . . (Математическая логика и логическое программирование, третий поток. Вне программы 4. Изоморфизм Карри-Говарда)
Источник — «https://mk.cs.msu.ru/index.php/Файл:MLLP_VP_r04.pdf»