Barendregt, Hendrik Pieter

The Lambda calculus, its syntax and semantics. - North-Holland Publishing Comp., 1981. - ( Studies in Logic ; 103).


  1. Cote: 7790. En rayon: classement par auteur. Exclu du prÍt.