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
Outlines of a formalist philosophy of mathematics. 3rd printing - MaRDI portal

Outlines of a formalist philosophy of mathematics. 3rd printing

From MaRDI portal

Publication:2558854

Jump to:navigation, search

zbMath0256.02002MaRDI QIDQ2558854

Haskell B. Curry

Publication date: 1970

Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Related Items

An intensional formalization of generic statements ⋮ Mathematical knowledge and the problem of proof

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