01236nam0-22003851i-450-99000149550040332120121015190030.00-8218-1364-1000149550FED01000149550(Aleph)000149550FED0100014955020020718d1999----km-y0itay50------baengUSa---a---101yyAdvances in contemporary logic and computer scienceproceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1966, Salvador, Bahia, BrazilW.A. Carnielli, I. M. D'Ottaviano, editorsProvidenceAmerican Matematical Societyc1999xi, 326 p.24 cmContemporary mathematics235Logica matematicaLogica del calcolatore005.121Carnielli,Walter AlexandreLoffredo D'ottaviano,Itala M.ITUNINARICAUNIMARCBK990001495500403321C-1-(23517175MA1MA103-XX03-0600B25Advances in contemporary logic and computer science377603UNINA