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
Secondary-extensional isomorphism and the accuracy of constructional definitions - MaRDI portal

Secondary-extensional isomorphism and the accuracy of constructional definitions

From MaRDI portal

Publication:1220473

Jump to:navigation, search

DOI10.1007/BF00485239zbMath0314.02007MaRDI QIDQ1220473

David Lincicome

Publication date: 1974

Published in: Synthese (Search for Journal in Brave)

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

The logical simplicity of predicates

This page was built for publication: Secondary-extensional isomorphism and the accuracy of constructional definitions

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