This complete text and software package provides a self-contained introduction to the basic concepts of logic: language truth argument consequence proof and counterexample. Assuming no prior study of logic Barwide and Etchemendy provide a clear and comprehensive outline of the field - a text appropriate for introductory or secondary courses in logic that incorporates more than enough material to be of use to philosophers computer scientists and mathematicians as well. The price of a new text/software package includes one Registration ID which must be used each time work is submitted to the grading service. Once activated the Registration ID is not transferable.