Logic: theoretical and applied - BRODY, Baruch A. (Prentice Hall, Inc.)