The implications of induction - Cohen, Laurence Jonathan (Methuen, 1970)