КНИГИ НА РУССКОМ ЯЗЫКЕ

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


Серия: Математическая логика и основания математики
Сортировка по рейтингу сначала новинки по названиям по авторам
Информация / Заказ
Редкая книга.
1982. 656 с. Букинист. Состояние: 5-.
  • Твердый переплет

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

Информация / Заказ
Редкая книга.
1977. 416 с. Букинист. Состояние: 4+.
  • Твердый переплет

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

Информация / Заказ
Редкая книга.
Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б.
Функции алгебры логики и классы Поста
1966. 120 с. Букинист. Состояние: 4+.
  • Мягкая обложка

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

Информация / Заказ
Редкая книга.
1973. 448 с. Букинист. Состояние: 4+.
  • Твердый переплет

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

Информация / Заказ
999 руб.
1978. 272 с. Букинист. Состояние: 4+.
  • Твердый переплет

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

Информация / Заказ
1980. 416 с. Букинист. Состояние: 4.
  • Твердый переплет

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

Информация / Заказ
Редкая книга.
1982. 560 с. Букинист. Состояние: 4+.

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

Всего 7
Обращаем Ваше внимание, что книги с пометкой "Предварительный заказ!" невозможно купить сразу. Если такие книги содержатся в Вашем заказе, их цена и стоимость доставки не учитываются в общей стоимости заказа. В течение 1-3 дней по электронной почте или СМС мы уточним наличие этих книг или отсутствие возможности их приобретения и сообщим окончательную стоимость заказа.
Книги с пометкой "В печати" можно добавлять к заказу. Их стоимость и доставка не учитываются в общей стоимости заказа. Когда они поступят в продажу, мы обязательно уведомим Вас.