The lambda calculus, its syntax and semantics /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Barendregt, Henk 1947- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: London : College Publications, c2012
Edice:Studies in logic ; v. 40
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í
Fakulta informatiky R50a 4200517185