opac, catalogo, online,servizi, biblioteca, sebina

The lambda calculus : its syntax and semantics / H. P. Barendregt. - Rev. ed. - Amsterdam [etc.] : North-Holland, 1984. - XV, 621 p. ; 22 cm

Barendregt, Hendrik Pieter

Testo a stampa (moderno) 1984