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