Конструктивная математическая логика с точки зрения классической

📘 Книга написана на основе лекций, читавшихся П.С.Новиковым в МГУ. В ней излагаются некоторые аспекты математической логики, не рассмотренные в его предыдущей книге `Элементы математической логики`. В этом смысле она как бы дополняет предыдущую книгу. В то же время книгу можно читать независимо, так как в ней подробно излагается весь нужный по ходу дела материал, относящийся к классическим логическим исчислениям. В книге рассматриваются интерпретации конструктивных формальных систем в классических терминах и с использованием средств классической математики. Вопросы семантики конструктивной логики изложены в оригинальной и доступной для читателя форме. Доказательства основных утверждений приводятся во всех деталях.