On the Building Blocks of Mathematical Logic

Schönfinkel, M. (1924). On the Building Blocks of Mathematical Logic. From Frege to Gödel.

Type

Book chapter

Intellectual base

Review or monograph

Year

1924

Link

https://content.wolfram.com/sites/43/2020/12/Schonfinkel-OnTheBuildingBlocksOfMathematicalLogic.pdf

Cited by

1 citation across 1 artifact.

Domain-specific

• Combinatory Logic
  • Its roles now span foundations of mathematics, relationships among formal calculi, models of computation, type theory, categorical semantics, functional-language implementation, and point-free programming.

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