An introduction to logic - Davis, Wayne A. (Englewood Cliffs, N.J. : N.J. Prentice-Hall, 1986)
Keywords: Command; Logic, deductive; Logic