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
Combinatory completeness without classical equality - MaRDI portal

Combinatory completeness without classical equality

From MaRDI portal

Publication:1100189

Jump to:navigation, search

DOI10.1007/BF00247907zbMATH Open0639.03013MaRDI QIDQ1100189

David Ballard

Publication date: 1988

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

fixed point recursion theorem combinatory completeness diagonal lemma precomplete numerations

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

This page was built for publication: Combinatory completeness without classical equality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1100189)

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