Modern Deductive Logic