Studies in constructive mathematics and mathematical logic. Part IX (Q1307304)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Studies in constructive mathematics and mathematical logic. Part IX
scientific article

    Statements

    Studies in constructive mathematics and mathematical logic. Part IX (English)
    0 references
    31 October 1999
    0 references
    The articles are translations from the series ``Zap. Nauchn. Semin. POMI 220 (1995; Zbl 0868.00015)'' and will be reviewed individually.
    0 references
    Constructive mathematics
    0 references
    Mathematical logic
    0 references

    Identifiers