Ian A. MacLennan

• Symbolic logic