Search results
- Lambda-calculus and combinators, an introduction / J. Roger Hindley, Jonathan P. Seldin. Cambridge : Cambridge University Press, 2008 . xi, 345 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book