Mathematical logic: Proof theory, constructive mathematics. Abstracts from the workshop held April 6--12, 2008.
DOI10.4171/OWR/2008/18zbMATH Open1177.03009OpenAlexW2017941734MaRDI QIDQ1047744FDOQ1047744
Authors:
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
Recommendations
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- Mathematical logic: proof theory, type theory and constructive mathematics
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Proof complexity and beyond. Abstracts from the workshop held August 13--19, 2017
Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proof theory and constructive mathematics (03Fxx) Collections of abstracts of lectures (00B05)
Cited In (8)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- Title not available (Why is that?)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- Mathematical logic: proof theory, type theory and constructive mathematics
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Title not available (Why is that?)
- Logic, combinatorics and independence results. Abstracts from the mini-workshop held November 25 -- December 2, 2006.
- Set theory. Abstracts from the workshop held January 13--19, 2008.
This page was built for publication: Mathematical logic: Proof theory, constructive mathematics. Abstracts from the workshop held April 6--12, 2008.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1047744)
