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.82 кг.
  • Размери 240 x 163 x 30

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

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

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

Оценка
Най-ниската е 1, най-високата 5
Ще харесаш още
Everyday Mathematics, Grade 3, Home Links Everyday Mathematics, Grade 3, Home Links 2006 г.
Цена: 27.90 лв.
Axiomatic Set Theory Axiomatic Set Theory 1973 г.
Цена: 217.90 лв.
Dynamic Models in Biology Dynamic Models in Biology 2006 г.
Цена: 141.90 лв.
College Algebra College Algebra 2003 г.
Цена: 270.90 лв.
Liber Mahameleth Liber Mahameleth 2014 г.
Цена: 1631 .90 лв.