Logic, Semantics, and Metamathematics — Papers from 1923 to 1938 — Trans. J.H. Woodger

Tarski, A. (1938). Logic, Semantics, and Metamathematics — Papers from 1923 to 1938 — Trans. J.H. Woodger.

Type

Unclassified

Intellectual base

Unclassified

Year

1938

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Lindenbaum–Tarski algebra
  • … consequence, provable-equivalence relation, congruence proof, quotient carrier, induced operations and constants, algebra variety, order, consistency and completeness relation are explicit. to An applied instance preserves the same invariant under a changed scale, notation, jurisdiction, dataset, 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:73c5e45d86c8 · see in the full table