Lectures on the Curry-Howard Isomorphism 9780444520777

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

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

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

в Мои желания

Автор: Sorensen, Morten Heine
Название: Lectures on the Curry-Howard Isomorphism
ISBN: 9780444520777
Издательство: Elsevier Science
Классификация:

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

ISBN-10: 0444520775
Обложка/Формат: Hardback
Страницы: 456
Вес: 0.87 кг.
Дата издания: 04.07.2006
Серия: Studies in Logic and the Foundations of Mathematics
Язык: English
Размер: 240 x 163 x 30
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Европейский союз

Lectures on the Curry-Howard Isomorphism, Sorensen, Morten Heine