Elementary applied symbolic logic - Tapscott, Bangs L. (Prentice Hall, 1976)