|
Редкая книга.
1982. 656 с. Букинист. Состояние: 4+.
Настоящая книга представляет собой перевод второго тома известной двухтомной монографии Д. Гильберта и П. Бернайса `Основания математики`, отличающейся глубиной содержания, тщательностью изложения и пользующейся большой популярностью среди специалистов. Перевод выполнен со второго немецкого издания,... (Подробнее) 
Редкая книга.
1977. 416 с. Букинист. Состояние: 4+.
Книга посвящена изложению основ раздела теории алгоритмов. Такой переход расширяет возможности применения хорошо разработанного раздела теории алгоритмов - теории рекурсивных функций. (Подробнее) 
Редкая книга.
1973. 448 с. Букинист. Состояние: 4+.
В рамках конструктивного направления последовательно излагается система вычислимого анализа, развитая в СССР за последние 20 лет. Книга дает отчетливое впечатление о характере и свойствах таких понятий, как вычислимое действительное число, вычислимая действительная функция и т.д. Большой интерес... (Подробнее) 
Редкая книга.
1978. 272 с. Букинист. Состояние: 4+.
В книге детально излагается принадлежащая Клини формализация интуиционистского анализа и рассматриваются интерпретации этого формализма средствами теории рекурсивных функций. (Подробнее) 
Редкая книга.
1980. 416 с. Букинист. Состояние: 5-.
В книге излагаются основные методы доказательства разрешимости и неразрешимости элементарных теорий. Подробно изучаются теории таких интересных объектов, как булевы алгебры, абелевы группы, нормированные поля. Изложение этой части книги содержит весь необходимый алгебраический материал, представляющий... (Подробнее) 
Редкая книга.
1982. 560 с. Букинист. Состояние: 4+.
Монография Д.Гильберта и П.Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в 30-х годах, подвело итог процессу становления математической логики как самостоятельной дисциплины со своей проблематикой и своими... (Подробнее) 
1973. 400 с. Букинист. Состояние: 4+.
В книге систематически излагаются классические исчисления высказываний и предикатов, а также формальная система арифметики. Затрагиваются различные вопросы, относящиеся к основаниям математики. (Подробнее) 
1966. 120 с. Букинист. Состояние: 4+.
Данная книга является монографией по алгебре логики. В ней систематизируются и излагаются наиболее важные факты, в том числе и те, которые в отечественной литературе раньше не встречались. (Подробнее) Всего 8
Обращаем Ваше внимание, что книги с пометкой
"Предварительный заказ!" невозможно купить сразу.
Если такие книги содержатся в Вашем заказе, их цена и стоимость доставки
не учитываются в общей стоимости заказа.
В течение 1-3 дней по электронной почте мы уточним наличие этих книг или отсутствие возможности их приобретения и сообщим окончательную стоимость заказа.
Книги с пометкой "В печати" можно
добавлять к заказу. Их стоимость и доставка не учитываются в общей стоимости заказа.
Когда они поступят в продажу, мы обязательно уведомим Вас.
|