Logic The essentials - Manicas, Peter T.; Kruger, Arthur N. (McGraw-Hill, 1976)