Constructive Reverse Mathematics (Q6300390)

From MaRDI portal
scientific article; zbMATH DE number 900404815
Language Label Description Also known as
English
Constructive Reverse Mathematics
scientific article; zbMATH DE number 900404815

    Statements

    publication date
    15 April 2018
    0 references
    arXiv classification
    math.LO
    0 references
    author
    Hannes Diener
    0 references

    Identifiers

    arXiv ID
    1804.05495
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6300390&oldid=35887309"
    Powered by MediaWiki