01248nam a2200301 i 450099100103698970753620020507182050.0960624s1975 it ||| | ita b10792284-39ule_instLE01306074ExLDip.to Matematicaeng510AMS 03-XXHindley, J. Roger46028Introduzione alla logica combinatoria /J. R. Hindley, Bruce Lercher, J. P. seldinTorino :Boringhieri,1975153 p. ;21 cm.Testi e manuali della scienza contemporanea. Serie di logica matematicaTit. orig.: Introduction to combinatory Logic. - Londra : Cambridge University Press, 1972Mathematical logic and foundations-textbooksLercher, Bruceauthorhttp://id.loc.gov/vocabulary/relators/aut47739Seldin, Jonathan P..b1079228423-02-1728-06-02991001036989707536LE013 03-XX HIN11 (1975)12013000051741le013-E0.00-l- 05050.i1089309x28-06-02Introduzione alla logica combinatoria1455702UNISALENTOle01301-01-96ma -itait 01