Studies in Deductive Logic