Foundations of Mathematical Logic

Curry, H. (1963). Foundations of Mathematical Logic.

Type

Unclassified

Intellectual base

Unclassified

Year

1963

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Interpretation (logic)
  • A logical interpretation supplies a structure that gives formal symbols meanings and makes semantic evaluation possible.

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:4fa8be126108 · see in the full table