Файл:Mathlog 318 lecture 4 5.pdf — история изменений

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

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

  • (текущ. | пред.) 10:59, 4 марта 2020PodymovVV (обсуждение | вклад). . (249 байта) (+249). . (мат.логика и логическая программирование у групп 318, 241, 242. Лекции 4 и 5 (от определения общезначимости до корректности табличного вывода).)