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
5.131 C738(6) 113339
Borger E Computer Science Logic Workshop( 6th : 1992 : Italy ) Computer Science Logic Workshop 6th , Italy 1992 Computer science logic : selected papers Berlin Springer Verlag 1993 viii,439p * Computer science Symbolic logic