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