An introduction to logic - Davis, Wayne A. (N.J. Prentice-Hall, 1986)