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
Mathematical logic: Proof theory, constructive mathematics. Abstracts from the workshop held April 6--12, 2008. - MaRDI portal

Mathematical logic: Proof theory, constructive mathematics. Abstracts from the workshop held April 6--12, 2008.

From MaRDI portal

Publication:1047744

Jump to:navigation, search

DOI10.4171/OWR/2008/18zbMath1177.03009OpenAlexW2017941734MaRDI QIDQ1047744

No author found.

Publication date: 6 January 2010

Published in: Oberwolfach Reports (Search for Journal in Brave)

Full work available at URL: http://www.ems-ph.org/journals/show_abstract.php?issn=1660-8933&vol=5&iss=2&rank=4

Mathematics Subject Classification ID

Collections of abstracts of lectures (00B05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proof theory and constructive mathematics (03Fxx)

This page was built for publication: Mathematical logic: Proof theory, constructive mathematics. Abstracts from the workshop held April 6--12, 2008.

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