0700 20 866 Виж всички данни за контакт
Меню
0 0
Lectures on the Curry-Howard Isomorphism, 9780444520777

Lectures on the Curry-Howard Isomorphism

354.9 BGN
Цена: 354.90 лв.
В наличност
Количество
Кyпи сега
Прочети описанието
Доставка до твой адрес
  • При теб до 14 работни дни (доставка от UK)
  • Книгата е налична на склад при доставчик в Англия (*важи за продукти със статус "В наличност")
  • Стойността на доставката се изчислява допълнително и се начислява при финализиране на поръчката.
  • Подробности за поръчка на Книги на чужд език ще откриете тук
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as in type theory. The isomorphism has many aspects, even at syntactic level. This book offers an introduction to the proof theory and related aspects of type theory relevant for the isomorphism.
Върни се горе и купи

Информация за “Lectures on the Curry-Howard Isomorphism”

  • Година на издаване 2006 г.
  • Корица Hardback
  • Тегло 0.84 кг.
  • Размери 240 x 163 x 30

Няма написани коментари - напиши първия коментар от тук.

Напиши коментар

Попълни формата по-долу:

Оценка
Най-ниската е 1, най-високата 5