Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics

Simple item page
dc.bibliographicCitation.firstPage779
dc.bibliographicCitation.lastPage813
dc.bibliographicCitation.seriesTitleOberwolfach reports : OWReng
dc.bibliographicCitation.volume14
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. Houseeng
dc.relation.doihttps://doi.org/10.14760/OWR-2005-14
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, Type Theory and Constructive Mathematicseng
dc.typeArticleeng
dc.typeTexteng
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)