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
Ще харесаш още
Introduction to Knot Theory Introduction to Knot Theory 2008 г.
Цена: 28.90 лв.
Groupes de Monodromie en Geometrie Algebrique Groupes de Monodromie en Geometrie Algebrique 1972 г.
Цена: 105.90 лв.
Instabilities and Nonequilibrium Structures Instabilities and Nonequilibrium Structures 1996 г.
Цена: 219.90 лв.
Combinatorial Optimization for Undergraduates Combinatorial Optimization for Undergraduates 2014 г.
Цена: 184.90 лв.
Foundations of ISO-Differential Calculus Foundations of ISO-Differential Calculus 2014 г.
Цена: 500.90 лв.