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
A language of constructive mathematics involving systems of sets - MaRDI portal

A language of constructive mathematics involving systems of sets

From MaRDI portal

Publication:2539041

Jump to:navigation, search

zbMATH Open0195.01805MaRDI QIDQ2539041

Publication date: 1967

Published in: Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)

zbMATH Keywords

recursion theory, constructive mathematics

Related Items (1)

Topological variants of the continuity theorem for mappings and related theorems

This page was built for publication: A language of constructive mathematics involving systems of sets

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

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