BARENDREGT, H. P. Lambda calculus : its syntax and semantics. Rev. ed. Amsterdam: Elsevier, 1998, xv, 621 s. ISBN 0-444-86748-1. |
Další formáty:
BibTeX
LaTeX
RIS
|
Základní údaje | |
---|---|
Originální název | Lambda calculus : its syntax and semantics |
Autoři | BARENDREGT, H. P. |
Vydání | Rev. ed. Amsterdam, xv, 621 s. 1998. |
Nakladatel | Elsevier |
Další údaje | |
---|---|
ISBN | 0-444-86748-1 |
Změnil | Záznam byl importován z knihovního systému. Změněno: 12. 4. 2000 18:17. |
VytisknoutZobrazeno: 11. 5. 2024 18:50