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