Advanced course in classical logic
(Дополнительные главы классической логики)
(полугодовой спецкурс на английском языке)
Е.Е.Золин


Весна 2017

Чтобы сдавать данный курс, напишите лектору по email (см. на главной странице).

Конспект лекций: [ pdf ]

Вопросы к экзамену: [ pdf ]

Примеры задач: [ pdf ]

Весна 2016

Конспект лекций: [ pdf ]

Вопросы к экзамену: [ pdf ]

Примеры задач: [ pdf ]


Литература

  1. Верещагин Н.К., Шень А.Х. Языки и исчисления, 4-е издание, Москва, МЦНМО, 2014. [доступно в сети: pdf ]
  2. Chang C.C., Keisler H.J. Model Theory, North-Holland Pub. Co., 1990. [доступно в сети]
    Кейслер Г., Чэн Ч.Ч. Теория моделей, Москва, Мир, 1977. [доступно в сети]
  3. Sikorski R. Boolean Algebras, 3rd edition, Springer, 1969. [доступно в сети]
    Сикорский Р. Булевы алгебры, Москва, Мир, 1969. [доступно в сети]
  4. Bell J.L., Slomson A.B. Models and Ultraproducts: An Introduction, North-Holland Pub. Co., 1969. [доступно в сети]
  5. Keisler H.J. Model Theory for Infinitary Logic. North-Holland Pub. Co., 1971. [доступно в сети]
  6. Zolin E. Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi, Studia Logica, 102(5):1021-1039, 2014. [ pdf ]
  7. Bokov - статьи (напишу позже)