Logic - Salmon, Wesley C. (Prentice Hall New Jersey, 1964)