Berger  Studying Deductive Logic (1977)