00849nam a2200229 i 450099100026308970753620020509164321.0940209s1992 it ||| | ita b1133325x-39ule_instPARLA204969ExLIstituto di FilosofiaitaAbrusci, Vito Michele44476Seminari di logica lineare :Calcolo dei sequenti e semantica delle fasi /Vito Michele AbrusciBari :F.lli Laterza,1992194 p. ;24 cmLogica.b1133325x08-10-0801-07-02991000263089707536LE005 Ist.Fil. LI E 341LE004-5709le005-E0.00-l- 00000.i1150662301-07-02Seminari di logica lineare376528UNISALENTOle00501-01-94ma -itait 01