Translation Of Logical Method In Different Languages