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

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

Жанры