Categorical Logic and Type Theory,141 9780444508539

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

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

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

в Мои желания

Автор: B. Jacobs
Название: Categorical Logic and Type Theory,141
Перевод названия: Б. Джейкобс: Категориальная логика и теория типов
ISBN: 9780444508539
Издательство: Elsevier Science
Классификация:

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

Алгебраическая геометрия

Философия науки

ISBN-10: 0444508538
Обложка/Формат: Paperback
Страницы: 780
Вес: 1.24 кг.
Дата издания: 10.05.2001
Серия: Studies in logic and the foundations of mathematics
Язык: English
Размер: 242 x 167 x 46
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Европейский союз
Описание: Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. This book is useful for logicians, type theorists, category theorists and (theoretical) computer scientists.

Categorical Logic and Type Theory,141, B. Jacobs