• Покупка
  • Поступления
  • Доставка
  • Оплата
  • Контакты
  • Отзывы
  • Спецпредложения
  • В Вашей корзине
    пока пусто
    0 на сумму: NaN руб.
    Доставка по всему миру
    (812) 315-07-85 570-40-20

    Теория доказательств

    Код в каталоге: № 45968
    Теория доказательств, Такеути Г.
    Автор:
    Издательство:
    МИР
    Год выпуска:
    1978
    Состояние:
    Очень хорошее
    Место издания:
    Москва
    Количество страниц:
    410
    Переплет:
    Твердый
    Формат:
    Слегка увеличенный

    Описание

    Книга посвящена одному из основных разделов математической логики — теории доказательств.
    Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечений и полнота интуиционистского и классического исчислений предикатов, неполнота и непротиворечивость арифметики, в книге приводятся недавние достижения в этой области, включая доказательства устранимости сечений в простой теории типов и непротиворечивости ограниченной части математического анализа.
    Большое место уделено инфинитарной логике — логике с бесконечно длинными формулами. Многие из приведенных результатов принадлежат самому автору, известному специалисту по теории доказательств.
    Книга будет полезна специалистам по математической логике, студентам, аспирантам и всем тем, кто интересуется вопросами оснований математики и математической логикой.

    Купить книгу «Теория доказательств» Такеути Г. 1978 года
    в книжном интернет-магазине с доставкой по оптимальной цене.
    Если данной книги нет в наличии, то вы можете оставить на нее заявку.
    При появлении этого букинистического издания в продаже, вы получите об этом уведомление по sms и email.

    руб.

    Код в каталоге:
    руб.

    Код в каталоге: