01151nam0-22003611i-450-99000144935040332120031201174837.03-540-64668-X000144935FED01000144935(Aleph)000144935FED0100014493520001205d1998----km-y0itay50------baengLogic colloquium '96proceedings of the Colloquium held in San Sebastiàn, Spain, july 9-15, 1996J.M. Larrazabal, D. Lascar, G. Mints (Eds.)Berlin [etc.]Springerc1998VI, 261 p.24 cmLecture notes in logic12LogicaRicorsività160Larrazabal,Jesús M.Lascar,DanielMints,G.Logic colloquium<1996 ;San Sebastiàn>351361European summer meeting of the Association of symbolic logic<1996 ;San Sebastiàn>351362ITUNINARICAUNIMARCBK9900014493504033217-306FI1FI1Logic colloquium '96374279UNINA