Introduction to Mathematical Logic

Mendelson, E. (2015). Introduction to Mathematical Logic. CRC Press.

Type

Book

Intellectual base

Textbook

Year

2015

DOI

10.1201/b18519

ISBN

9780429162091

Link

https://doi.org/10.1201/b18519

Cited from

mathematics

Cited by

2 citations across 2 artifacts.

Each citation links to the sentence it supports in the citing article.

Primes

• Consistency
  • Mathematics and logic. An axiom set is consistent if no derivation from it yields both a formula and its negation; an inconsistent set trivializes the theory, since from a contradiction everything follows.

    This sourceStandard treatment of consistency of axiom sets and the derivation of all formulas from a contradiction.

Domain-specific

• Literal (Mathematical Logic)
  • Standard accounts of formal syntax and satisfaction fix this boundary.

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