Notes on the fate of logicism from<i>principia mathematica</i>to gödel's incompletability theorem (Q3220546)

From MaRDI portal





scientific article; zbMATH DE number 3885854
Language Label Description Also known as
default for all languages
No label defined
    English
    Notes on the fate of logicism from<i>principia mathematica</i>to gödel's incompletability theorem
    scientific article; zbMATH DE number 3885854

      Statements

      Notes on the fate of logicism from<i>principia mathematica</i>to gödel's incompletability theorem (English)
      0 references
      1984
      0 references
      theory of types
      0 references
      history of the logicist program
      0 references

      Identifiers