Logic - Baronett, Stan (Upper Saddle River, New Jersey : Pearson Prentice Hall, 2008)
Logic and truth -- Inferences : assessment, recognition, and reconstruction -- Categorical statements and inferences -- Truth-functional statements -- Truth tables and proofs -- Natural deduction -- The logic of quantifiers -- Logic and language -- Applied inductive analysis
Includes index
Keywords: Logic