Introduction to Symbolic Logic and Its Applications

Clear, comprehensive, and rigorous treatment develops the subject from elementary concepts to the construction and analysis of relatively complex logical languages. Hundreds of problems, examples, and exercises. 1958 edition.