Frederic B. Fitch

• Symbolic logic,