Bernays-Gödel type theory (Q1861492)

From MaRDI portal
Revision as of 11:29, 1 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Bernays-Gödel type theory
scientific article

    Statements

    Bernays-Gödel type theory (English)
    0 references
    0 references
    9 March 2003
    0 references
    type-theoretical analogue of Bernays-Gödel set-theory
    0 references
    small structure on a category
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references