Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus (Q5384794)

From MaRDI portal
scientific article; zbMATH DE number 7073393
Language Label Description Also known as
English
Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus
scientific article; zbMATH DE number 7073393

    Statements

    Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus (English)
    0 references
    0 references
    26 June 2019
    0 references

    Identifiers

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