The Herbrand topos (Q5891131)

From MaRDI portal
scientific article; zbMATH DE number 6203766
Language Label Description Also known as
English
The Herbrand topos
scientific article; zbMATH DE number 6203766

    Statements

    Identifiers