1. Lectures on the Curry-Howard isomorphism
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 |