John T Kearns

• Deductive logic