Výsledky vyhledávání
- 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