Concepedia
The Philosophical Review · 1952 · 91 citations · 0 references
HumanitiesMathematicsFormal MethodsLogicPhilosophy Of MathematicsFirst-order LogicMathematical LogicMathematical ReasoningPhilosophical LogicPhilosophy Of LogicPredicate LogicComputational LogicEquational LogicInterpretation Of Formulas