Результаты поиска: 1 док. (сбросить фильтры)
Книга: Конструктивная математическая логика с точки зрения классической
Настоящая книга написана на основе лекций, читавшихся П. С. Новиковым во второй половине пятидесятых годов.
В ней излагаются вопросы математической логики, не рассмотренные в первой книге. В этом смысле она как бы дополняет предыдущую книгу.
В то же время книга написана так, что ее можно читать независимо от предыдущей. В частности, в ней подробно излагается весь нужный по ходу дела материал, относящийся к классическим логическим исчислениям.
Загрузил(а):
Ильина Галина
Доступ:
Всем