Logic /
Baronett, Stan.
Upper Saddle River, N.J. : Pearson Prentice Hall,
2008.
Includes index.
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.
Logic.