Košík

Záznam byl přidán do košíku

1.Lectures on the Curry-Howard isomorphism
Půjčit

Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn. Amsterdam ; Oxford : Elsevier, 2006 . xiv, 442 stran

Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci

PRF 0 0 0 1 0 0
Z košíku
Citace
Bookmark

Vybrané dokumenty
Citace

citace PRO
kniha
Půjčit

Pro plnou funkčnost těchto stránek je nutné povolit JavaScript. Zde jsou instrukce jak povolit JavaScript ve Vašem webovém prohlížeči.