SORT LOGIC AND FOUNDATIONS OF MATHEMATICS (Q5178531)

From MaRDI portal
scientific article; zbMATH DE number 6415572
Language Label Description Also known as
English
SORT LOGIC AND FOUNDATIONS OF MATHEMATICS
scientific article; zbMATH DE number 6415572

    Statements

    SORT LOGIC AND FOUNDATIONS OF MATHEMATICS (English)
    0 references
    0 references
    16 March 2015
    0 references
    sort logic
    0 references
    second order logic
    0 references
    ZFC-like axioms
    0 references

    Identifiers