Concepedia

Systems of Logic Based on Ordinals<sup>†</sup>

Proceedings of the London Mathematical Society · 1939 · 450 citations · 0 references

Concepts

HumanitiesComputer ScienceMathematicsLogicPhilosophy Of MathematicsSet TheoryAxiomatic Set TheoryFirst-order LogicMany-valued LogicOrdinal NumbersPhilosophy Of LogicPredicate LogicOrdinal Representation