Formal Logic

Prior, A. N. (1955). Formal Logic.

Type

Unclassified

Intellectual base

Unclassified

Year

1955

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Polish notation
  • Polish notation writes an operator before the complete encodings of its operands, recursively serializing an expression tree in prefix order.

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