Online Public Access Catalogue (OPAC)Library,Documentation and Information Science Division
“A research journal serves that narrow
borderland which separates the known from the unknown”
-P.C.Mahalanobis
510 Am512c 119382
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 Advances in contemporary logic and computer science proceedings Providence AMS 1999 xi,326p. 0-8218-1364-1 * Computer logic Mathematical logic Symbolic logic