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

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

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

  • (текущ. | пред.) 18:54, 19 февраля 2021PodymovVV (обсуждение | вклад). . (282 байт) (+282). . (Математическая логика для 318, блок 13. завершения рассказа про метод семантических таблиц: пара утверждений и возможности автоматизации п…)