Mathematical Logic: Proof Theory, Constructive Mathematics

dc.bibliographicCitation.firstPage907
dc.bibliographicCitation.lastPage952
dc.bibliographicCitation.seriesTitleOberwolfach reports : OWReng
dc.bibliographicCitation.volume18
dc.contributor.otherKohlenbach, Ulrich
dc.contributor.otherSchwichtenberg, Helmut
dc.date.accessioned2023-12-14T13:39:53Z
dc.date.available2023-12-14T13:39:53Z
dc.date.issued2008
dc.description.abstract[no abstract available]eng
dc.description.versionpublishedVersion
dc.identifier.urihttps://oa.tib.eu/renate/handle/123456789/12774
dc.identifier.urihttps://doi.org/10.34657/11804
dc.language.isoeng
dc.publisherZürich : EMS Publ. Houseeng
dc.relation.doihttps://doi.org/10.14760/OWR-2008-18
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 Apr - 12 Apr 2008, Oberwolfach
tib.accessRightsopenAccess
wgl.contributorMFO
wgl.subjectMathematik
wgl.typeZeitschriftenartikel
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
OWR_2008_18.pdf
Size:
426.48 KB
Format:
Adobe Portable Document Format
Description: