Introduction to Higher-Order Categorical Logic

Изчерпано количество

Бъдете първият оценил този продукт

Продуктът не е наличен Запиши се за известие при зареждане

129,90 лв.

Описание

Информация за доставка

Връщане

Коментари

In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. Detailed references are provided and each section concludes with exercises.

Виж повече

Информация за "Introduction to Higher-Order Categorical Logic"

SKU 9780521356534
Weight 0.458000
ISBN 9780521356534

Вид корица Paperback / softback
Издателство Cambridge University Press
Брой страници 304

Доставка до твой адрес

При теб до 3 работни дни
Цена за доставка с куриер - 4.90 лв.
Безплатна доставка
(за поръчка над 49.80 лв.)

Доставка до офис на куриер

Цена за доставка до офис - 4.90 лв.
По-кратък срок за доставка

Доставка до магазин на Orange Center

Доставката до магазин е безплатна!

Онлайн магазин orangecenter.bg уверява своите клиенти, че съгласно чл. 55, ал.1 от Закона за защита на потребителите, имат правото да се откажат / или заменят получена от тях стока в срок от 14 (четиринадесет) работни дни от датата на получаване на стоката САМО при условие, че продукта е:

- в оригиналният си вид и качествени характеристики, със запазена оригинална опаковка и етикет, като не се счита за повредена опаковката, цялостта на която е била нарушена по начин, единствено позволяващ отделянето й от стоката.

- без следи от употреба (скъсване, надраскване, счупване или други повреди), както и няма други повреди, причинени от неправилна употреба.

Повече информация за връщане и замяна на стока ще намерите ТУК.

Introduction to Higher-Order Categorical Logic

The information below is required for social login

Забравена парола