Mathematical Logic: Proof Theory, Constructive Mathematics

Simple item page
dc.bibliographicCitation.firstPage2963
dc.bibliographicCitation.lastPage3002
dc.bibliographicCitation.seriesTitleOberwolfach reports : OWReng
dc.bibliographicCitation.volume52
dc.contributor.otherKohlenbach, Ulrich
dc.contributor.otherRathjen, Michael
dc.date.accessioned2023-12-14T14:08:15Z
dc.date.available2023-12-14T14:08:15Z
dc.date.issued2011
dc.description.abstractThe workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexity.eng
dc.description.versionpublishedVersion
dc.identifier.urihttps://oa.tib.eu/renate/handle/123456789/12984
dc.identifier.urihttps://doi.org/10.34657/12014
dc.language.isoeng
dc.publisherZürich : EMS Publ. Houseeng
dc.relation.doihttps://doi.org/10.14760/OWR-2011-52
dc.relation.essn1660-8941
dc.relation.issn1660-8933
dc.rights.licenseDieses Dokument darf im Rahmen von § 53 UrhG zum eigenen Gebrauch kostenfrei heruntergeladen, gelesen, gespeichert und ausgedruckt, aber nicht im Internet bereitgestellt oder an Außenstehende weitergegeben werden.ger
dc.rights.licenseThis document may be downloaded, read, stored and printed for your own use within the limits of § 53 UrhG but it may not be distributed via the internet or passed on to external parties.eng
dc.subject.ddc510
dc.subject.gndKonferenzschriftger
dc.titleMathematical Logic: Proof Theory, Constructive Mathematicseng
dc.typeArticleeng
dc.typeTexteng
dcterms.eventWorkshop Mathematical Logic: Proof Theory, Constructive Mathematics, 06 Nov - 12 Nov 2011, Oberwolfach
tib.accessRightsopenAccess
wgl.contributorMFO
wgl.subjectMathematik
wgl.typeZeitschriftenartikel
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
OWR_2011_52.pdf
Size:
369.52 KB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Mathematik
Oberwolfach Reports (OWR)