Introduction to Mathematical Logic, Fourth Edition

Mendelson, E. (1997). Introduction to Mathematical Logic, Fourth Edition. CRC Press.

Type

Book

Intellectual base

Textbook

Year

1997

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Prenex normal form
  • … that the logic, free and bound variables, variable-renaming discipline, quantifier order, equivalence rules, and quantifier-free matrix are explicit and semantic equivalence is preserved. 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:3e79fea34ed0 · see in the full table