Systems of Logic Based on Ordinals

Turing, A. M. (1939). Systems of Logic Based on Ordinals. Proceedings of the London Mathematical Society.

Type

Journal article

Intellectual base

Primary research

Year

1939

DOI

10.1112/plms/s2-45.1.161

Link

https://doi.org/10.1112/plms/s2-45.1.161

Cited by

1 citation across 1 artifact.

Domain-specific

• Reduction (Computability Theory)
  • The preserved Wikipedia revision is discovery provenance only; the identity is grounded in the foundational and standard computability-theory literature.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:c5f59203e999 · see in the full table