2012
The lambda calculus, its syntax and semantics
BARENDREGT, HenkZá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ěněno: 8. 8. 2022 14:30, Záznam byl importován z knihovního systému.