Classical Mathematical Logic

Epstein, R. L. (2011). Classical Mathematical Logic: The Semantic Foundations of Logic. Princeton University Press.

Type

Book

Intellectual base

Review or monograph

Year

2011

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Prenex normal form
  • Classical first-order formulas can be transformed into an equivalent prenex form by standardizing bound variables, removing connectives, moving negations, and pulling quantifiers across connectives under side conditions.

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