Persistent and invariant formulas relative to theories of higher order (Q5642556)

From MaRDI portal
scientific article; zbMATH DE number 3370329
Language Label Description Also known as
English
Persistent and invariant formulas relative to theories of higher order
scientific article; zbMATH DE number 3370329

    Statements