The Logic of Categories, Gyorgy Tam?s; Robert S. Cohen
Автор: K. Dosen Название: Cut Elimination in Categories ISBN: 9048152267 ISBN-13(EAN): 9789048152261 Издательство: Springer Рейтинг: Цена: 21655.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in logic) have not been explained systematically in terms of proof theory.