Export byl úspěšný — 

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: Amsterdam : North-Holland Publishing Company, 1981
Edice:Studies in Logic and the Foundations of Mathematics ; 103
Témata:
Popis
Popis jednotky:Jm. a věc. rejstř.
Fyzický popis:615 s., obr., čb. fotogr.
Bibliografie:Bibliografie na s. 580-591.
ISBN:0-444-85490-8