Starting with symbolizing sentences and sentential connectives, this work proceeds to the rules of logical inference and sentential derivation, examines the concepts of truth and validity, and presents a series of truth tables。 Subsequent topics include terms, predicates, and universal quantifiers; universal specification and laws of identity; axioms for addition; and universal generalization。 1964 edition。 Index。