01332nam2-2200409li-450 99000020287020331620180312154708.03-540-57935-40020287USA010020287(ALEPH)000020287USA01002028720001109d1994----km-y0itay0103----baengGWLogic language and computationNeil D. Jones ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1994XII, 269 p.ill.24 cmLecture notes in computer science79200100202642001Lecture notes in computer scienceelaborazione elettronicalinguaggi di programmazionelogica matematica005131Logica matematica (Logica simbolica)Jones,Neil D.Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000202870203316001 LNCS (792)001632300100103114BKSCI1995032820001110USA011714ALANDI9020010130USA01154320020403USA011628PATRY9020040406USA011615Logic, Language, and Computation772541UNISA