Файл:Mathlog 318 b36.pdf

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
Mathlog_318_b36.pdf(размер файла: 172 КБ, MIME-тип: application/pdf)

Математическая логика для 318, блок 36. Аксиоматические теории первого порядка. Проблема общезначимости формул в теории

История файла

Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.

Дата/времяРазмерыУчастникПримечание
текущий09:55, 5 апреля 2023 (172 КБ)PodymovVV (обсуждение | вклад)опечатки
23:19, 3 апреля 2023 (172 КБ)PodymovVV (обсуждение | вклад)Весенний семестр 2022-2023. Темы те же
08:35, 28 марта 2022 (267 КБ)PodymovVV (обсуждение | вклад)Весна 2022. Теперь это теорема Чёрча
14:22, 15 мая 2021 (320 КБ)PodymovVV (обсуждение | вклад)поправил опечатки
22:11, 18 апреля 2021 (327 КБ)PodymovVV (обсуждение | вклад)Математическая логика для 318, блок 36. Аксиоматические теории первого порядка. Проблема общезначимости формул в теории
  • Вы не можете перезаписать этот файл.

Следующая 1 страница ссылается на данный файл: