Linear logic in computer science /

Uloženo v:
Podrobná bibliografie
Další autoři: Ehrhard, Thomas, 1958- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cambridge: Cambridge University, 2004
Vydání:1st ed.
Edice:London Mathematical Society lecture note series ; 316
Témata:
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Měsíční
Přírodovědecká fakulta ÚK volný výběr 510.6-LINE 3145349711
Dostupné
Prezenční
Přírodovědecká fakulta ÚK volný výběr 510.6-LINE pbk.
3145353631