Richmond H Thomason

• Symbolic logic