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
Mathematics and language - MaRDI portal

Mathematics and language

From MaRDI portal

Publication:6599254

Jump to:navigation, search

DOI10.1007/978-3-319-21473-3_12zbMATH Open1544.00014MaRDI QIDQ6599254

Jeremy Avigad

Publication date: 6 September 2024

zbMATH Keywords

proof assistant mathematical practice theorem prover mathematical language mathematical object

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Mechanization of proofs and logical operations (03B35)

This page was built for publication: Mathematics and language

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6599254&oldid=40150144"