Concepedia
Philosophy and Phenomenological Research · 1953 · 31 citations · 0 references
HumanitiesComputer ScienceMathematicsFormal MethodsLogicAutomated ReasoningMathematical LogicPhilosophy Of LogicPredicate LogicSymbolic RepresentationSymbolic SystemsComputational LogicSymbolic ComputationSymbolic Logic