First steps in intuitionistic model theory (Q4177564)

From MaRDI portal
scientific article; zbMATH DE number 3613033
Language Label Description Also known as
English
First steps in intuitionistic model theory
scientific article; zbMATH DE number 3613033

    Statements

    First steps in intuitionistic model theory (English)
    0 references
    1978
    0 references
    Intuitionistic Model Theory
    0 references
    Finiteness Theorem for Countable Sets Of Axioms
    0 references
    Completeness Theorem
    0 references
    Kripke Models
    0 references
    Nonstandard Interpretation of Negation
    0 references
    0 references

    Identifiers