Concepedia
The Journal of Philosophy · 1930 · 221 citations · 0 references
HumanitiesComputer ScienceMathematicsFormal MethodsLogicSemanticsFormal Language FoundationsFormal SemanticsMathematical LogicModel TheoryPhilosophy Of LogicPredicate LogicFormal ModelingFormal Proof SystemsFormal Reasoning