Howard Herrick – Logician