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
scientific article; zbMATH DE number 1932778 - MaRDI portal

scientific article; zbMATH DE number 1932778

From MaRDI portal

Publication:4709702

Jump to:navigation, search

zbMath1026.03002MaRDI QIDQ4709702

Thomas Forster

Publication date: 23 June 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

textbook propositional logic posets lattices set theory computable functions predicate logic ordinals recursive datatypes

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures (06-01)

Related Items (3)

Elusive propositions ⋮ THE ITERATIVE CONCEPTION OF SET ⋮ Beneš's partial model of NF: an old result revisited

This page was built for publication:

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