Intermediate Logic by James B. Nance T.E. Third Edition.