Advances in contemporary logic and computer science proceedings - Carnielli Walter A ed.; Brazilian Conference on Mathematical Logic (11th ; 6-10 May 1996 : Bahia,Brazil); Brazilian conference on mathematical logic Bahia, Brazil 6-10 May 1996 (Providence AMS, 1999)
Keywords: Computer logic; Mathematical logic; Symbolic logic