Mathematical logic

Kleene, S. C. (1967). Mathematical logic. Wiley.

Type

Book

Intellectual base

Textbook

Year

1967

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Uniqueness quantification
  • … equality notion, predicate, exists-unique syntax, expansion into existence and at-most-one clauses, bound-variable scope, proof of a witness and proof that arbitrary witnesses coincide 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:394ec3aa8cfb · see in the full table