Ucebnice.cz Odborná • naučnáPřírodní vědyMatematika
Termín obdržení zásilky
Česká pošta Středa 10.09
PPL Středa 10.09
Osobní odběr Čtvrtek 11.09
Termíny jsou pouze orientační a mohou se lišit podle zvoleného typu platby. O Průběhu zásilky Vás budeme informovat e-mailem.
Při nákupu většího množství produktů negarantujeme dodání do zobrazeného data

Lectures on the Curry-Howard Isomorphism

Lectures on the Curry-Howard Isomorphism
9 %

3454  Kč 3 803 Kč

Sleva až 70% u třetiny knih
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.
Autor:
Nakladatel: Elsevier Science & Technology
ISBN: 9780444520777
Rok vydání: 2006
Jazyk : Angličtina
Vazba: Hardback
Počet stran: 456
Mohlo by se vám také líbit..