Simpson Subsystems of Second Order Arithmetic 9780521884396

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

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

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

в Мои желания

Автор: Simpson
Название: Subsystems of Second Order Arithmetic
Перевод названия: Симпсон: Подсистемы арифметик второго порядка
ISBN: 9780521884396
Издательство: Cambridge Academ
Классификация:

Математическая логика

ISBN-10: 052188439X
Обложка/Формат: Hardback
Страницы: 444
Вес: 0.80 кг.
Дата издания: 13/08/2009
Серия: Maths - logic, categories and sets
Язык: English
Издание: 2 rev ed
Иллюстрации: 83 tables 4 exercises
Размер: 236 x 157 x 30
Читательская аудитория: Professional & vocational
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии
Описание: What are the appropriate axioms for mathematics? Through a series of case studies, this volume examines these axioms to prove particular theorems in core areas including algebra, analysis, and topology, focusing on the language of second-order arithmetic, the weakest language rich enough to express and develop the bulk of mathematics.

Subsystems of Second Order Arithmetic, Simpson