Logic, Sets, and Recursion

Causey, R. L. (1994). Logic, Sets, and Recursion.

Type

Unclassified

Intellectual base

Unclassified

Year

1994

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Connected relation
  • … observable transfers from A canonical instance directly demonstrates that the quantifier and equality convention are explicit and every required pair satisfies at least one directed relation. to An applied instance preserves the same invariant under a changed scale, notation, jurisdiction, or implementation..

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