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 In61(7) 114468
Melham T F International Workshop on Higher Order Logic Theorem( 7th : 1994 : Malta ) International Workshop on Higher Order Logic Theorem 7th Malta, 1994 Higher order logic theorem : proceedings Berlin Springer Verlag 1994 ix,470p * Computer science Higher order logic
