Lambdaisčislenie : ego sintaksis i sementika - Barendregt, H. P. (Moskva : Mir, 1985)
Prijevod djela: The lambada calculus.
Bibliografija.
Keywords: mathematical logic