Серия: Математическая логика и основания математики

Книга посвящена изложению основ раздела теории алгоритмов. Такой переход расширяет возможности применения хорошо разработанного раздела теории алгоритмов - теории рекурсивных функций. (Подробнее)

Данная книга является монографией по алгебре логики. В ней систематизируются и излагаются наиболее важные факты, в том числе и те, которые в отечественной литературе раньше не встречались. (Подробнее)

В рамках конструктивного направления последовательно излагается система вычислимого анализа, развитая в СССР за последние 20 лет. Книга дает отчетливое впечатление о характере и свойствах таких понятий, как вычислимое действительное число, вычислимая действительная функция и т.д. Большой интерес... (Подробнее)

В книге детально излагается принадлежащая Клини формализация интуиционистского анализа и рассматриваются интерпретации этого формализма средствами теории рекурсивных функций. (Подробнее)

В книге излагаются основные методы доказательства разрешимости и неразрешимости элементарных теорий. Подробно изучаются теории таких интересных объектов, как булевы алгебры, абелевы группы, нормированные поля. Изложение этой части книги содержит весь необходимый алгебраический материал, представляющий... (Подробнее)

Монография Д.Гильберта и П.Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в 30-х годах, подвело итог процессу становления математической логики как самостоятельной дисциплины со своей проблематикой и своими... (Подробнее)

Настоящая книга представляет собой перевод второго тома известной двухтомной монографии Д. Гильберта и П. Бернайса `Основания математики`, отличающейся глубиной содержания, тщательностью изложения и пользующейся большой популярностью среди специалистов. Перевод выполнен со второго немецкого издания,... (Подробнее)

В книге систематически излагаются классические исчисления высказываний и предикатов, а также формальная система арифметики. Затрагиваются различные вопросы, относящиеся к основаниям математики. (Подробнее)