Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Reading proofs with understanding - MaRDI portal

Reading proofs with understanding (Q3803082)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Reading proofs with understanding
scientific article

    Statements

    title
    Reading proofs with understanding (English)
    0 references
    published in
    Theoria
    0 references
    publication date
    1988
    0 references
    zbMATH Keywords
    understanding proofs
    0 references
    formalism
    0 references
    nature of mathematical proofs
    0 references
    author
    George E. Weaver
    0 references

    Identifiers

    zbMATH DE Number
    4070855
    0 references
    OpenAlex ID
    W2157310613
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3803082&oldid=39347760"
    Powered by MediaWiki