Описание:Рассматриваются секвенциальные исчисления генценовского типа. Доказываются фундаментальные метатеоремы (для классического первопорядкового исчисления предикатов): об устранимости правила сечения, интерполяционная теорема (теорема Крейга), теорема Бэта о связи понятий явной и неявной определимости терминов в составе теории.
Семестровый спецкурс читается для студентов 4-го курса философского факультета, специализирующихся по кафедре логики.