Logic - Salmon, Wesley C. (Prentice-Hall, 1984)