Ulrich Kohlenbach Applied Proof Theory: Proof Interpretations and their Use in Mathematics 9783642096273

Варианты приобретения

Цена: 13974.00р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Ulrich Kohlenbach
Название: Applied Proof Theory: Proof Interpretations and their Use in Mathematics
ISBN: 9783642096273
Издательство: Springer
Классификация:

Математика

Математические основы

Основы высшей математики и математический анализ

Функциональный анализ и преобразования

Дифференциальное исчисление и дифференциальные уравнения

ISBN-10: 3642096271
Обложка/Формат: Paperback
Страницы: 536
Вес: 0.84 кг.
Дата издания: 2008
Серия: Springer Monographs in Mathematics
Язык: English
Издание: 1st ed. softcover of
Иллюстрации: Xx, 536 p.
Размер: 234 x 156 x 29
Читательская аудитория: Professional & vocational
Подзаголовок: Proof interpretations and their use in mathematics
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics.

Applied Proof Theory: Proof Interpretations and their Use in Mathematics, Ulrich Kohlenbach