(untitled)

Logic, R. C. (. I. t. S., & its Applications, p. 1. (1958). (untitled).

Type

Unclassified

Intellectual base

Unclassified

Year

1958

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Metalogic
  • … rules, deductive calculus, metalanguage and background mathematics, semantics and model class, derivability and consequence relations and target metaproperties with proof assumptions are explicit. to An applied instance preserves the invariant under changed notation, scale, dataset, 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:a2336d5e6b81 · see in the full table