Language logic and method by J.M. Cohen