Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics

Simple item page
dc.bibliographicCitation.firstPage779
dc.bibliographicCitation.issue1
dc.bibliographicCitation.journalTitleOberwolfach reports : OWR
dc.bibliographicCitation.lastPage813
dc.bibliographicCitation.volume2
dc.contributor.otherMoschovakis, Yiannis N.
dc.contributor.otherSchwichtenberg, Helmut
dc.date.accessioned2023-12-14T13:21:59Z
dc.date.available2023-12-14T13:21:59Z
dc.date.issued2005
dc.description.abstractThe workshop “Mathematical Logic: Proof Theory, Type Theoryeng
dc.description.versionpublishedVersion
dc.identifier.urihttps://oa.tib.eu/renate/handle/123456789/12593
dc.identifier.urihttps://doi.org/10.34657/11623
dc.language.isoeng
dc.publisherZürich : EMS Publ. House
dc.relation.doihttps://doi.org/10.4171/OWR/2005/14
dc.relation.essn1660-8941
dc.relation.issn1660-8933
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.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.subject.ddc510
dc.subject.gndKonferenzschriftger
dc.titleMathematical Logic: Proof Theory, Type Theory and Constructive Mathematicseng
dc.typeArticle
dcterms.eventWorkshop Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics, 20 Mar - 26 Mar 2005, Oberwolfach
tib.accessRightsopenAccess
wgl.contributorMFO
wgl.subjectMathematik
wgl.typeZeitschriftenartikel

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
OWR_2005_14.pdf
Size:
318.5 KB
Format:
Adobe Portable Document Format
Description:
Download

Collections

Mathematik
Oberwolfach Reports (OWR)