BARENDREGT, Henk. The lambda calculus, its syntax and semantics. London: College Publications. xv, 621. ISBN 9781848900660. 2012.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název The lambda calculus, its syntax and semantics
Autoři BARENDREGT, Henk.
Vydání London, xv, 621, 2012.
Nakladatel College Publications
Další údaje
ISBN 9781848900660
Změnil Záznam byl importován z knihovního systému. Změněno: 8. 8. 2022 14:30.
VytisknoutZobrazeno: 28. 3. 2024 12:04