Topoi: The Categorial Analysis of Logic 9780486450261

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

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

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

в Мои желания

Автор: Goldblatt Robert
Название: Topoi: The Categorial Analysis of Logic
ISBN: 9780486450261
Издательство: Dover
Классификация:

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

Теория чисел

ISBN-10: 0486450260
Обложка/Формат: Paperback
Страницы: 576
Вес: 0.62 кг.
Дата издания: 28.04.2006
Серия: Dover books on mathema 1.4tics
Язык: English
Размер: 216 x 138 x 29
Подзаголовок: The categorial analysis of logic
Рейтинг:
Поставляется из: США
Описание: A classic introduction to mathematical logic from the perspective of category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. Its approach moves always from the particular to the general, following through the steps of the abstraction process until the abstract concept emerges naturally.
Beginning with a survey of set theory and its role in mathematics, the text proceeds to definitions and examples of categories and explains the use of arrows in place of set-membership. The introduction to topos structure covers topos logic, algebra of subobjects, and intuitionism and its logic, advancing to the concept of functors, set concepts and validity, and elementary truth. Explorations of categorial set theory, local truth, and adjointness and quantifiers conclude with a study of logical geometry.