Title: Formal logic: its scope and limits
Authors: Jeffrey, Richard C.
Publisher: McGraw-Hill
Year: 1967
Subjects: Logic
Contents: Pt. 1: Compound statements -- Introduction -- Logical equivalence -- Truth-functions -- Truth trees -- Adequacy of the method. trees and proofs -- Pt. 2: Quantification -- Inference rules for quantifiers -- Multiple quantification. translation -- Adequacy of the tree method -- Identity. functions -- Undecidability. incompleteness.