Philosophical Studies · 1952 · 15 citations · 2 references
ComputingComputer ScienceMathematicsFormal MethodsLogicTheory Of ComputationAutomated ReasoningDeductive ReasoningInductive ReasoningInductive Logic ProgrammingInductive Proof TechniquesInductive Theorem Proving
2
John G. Kemeny · Journal of Symbolic Logic · 1948 · 32 citations
Yehoshua Bar‐Hillel · Philosophical Studies · 1951 · 25 citations
Law, Public Policy, Jurisdiction +5