Concepedia

A Theory of Positive Integers in Formal Logic. Part II

American Journal of Mathematics · 1935 · 85 citations · 0 references

Concepts

HumanitiesComputer ScienceMathematicsFormal MethodsLogicNumber TheoryBoolean AlgebraFirst-order LogicFormal SemanticsMathematical LogicPredicate LogicProof TheoryArithmetic TheoryFormal ModelingNumber-theoretic ProofsPeano ArithmeticTheories Of Arithmetic