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

Настоящая книга написана на основе лекций, читавшихся П. С. Новиковым во второй половине пятидесятых годов.

В ней излагаются вопросы математической логики, не рассмотренные в первой книге. В этом смысле она как бы дополняет предыдущую книгу.

В то же время книга написана так, что ее можно читать независимо от предыдущей. В частности, в ней подробно излагается весь нужный по ходу дела материал, относящийся к классическим логическим исчислениям.