Decidability and Specker sequences in intuitionistic mathematics (Q3650323)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Decidability and Specker sequences in intuitionistic mathematics
scientific article

    Statements

    Decidability and Specker sequences in intuitionistic mathematics (English)
    0 references
    0 references
    0 references
    14 December 2009
    0 references
    decidability
    0 references
    intuitionistic mathematics
    0 references
    Specker sequences
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references