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
Ще харесаш още
Elementary Cryptanalysis Elementary Cryptanalysis 1998 г.
Цена: 84.90 лв.
The Geometry of Fractal Sets The Geometry of Fractal Sets 1985 г.
Цена: 88.90 лв.
Beating the Odds Beating the Odds 2007 г.
Цена: 18.90 лв.
Exercises in Probability Exercises in Probability 2012 г.
Цена: 144.90 лв.