Show simple item record

Mathematical Logic: Proof Theory, Constructive Mathematics

dc.date.accessioned2019-10-24T13:41:30Z
dc.date.available2019-10-24T13:41:30Z
dc.date.issued2008
dc.identifier.urihttp://publications.mfo.de/handle/mfo/3062
dc.titleMathematical Logic: Proof Theory, Constructive Mathematics
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.de
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.en
dc.identifier.doi10.14760/OWR-2008-18
local.series.idOWR-2008-18
local.subject.msc03
local.sortindex502
local.date-range06 Apr - 12 Apr 2008
local.workshopcode0815
local.workshoptitleMathematical Logic: Proof Theory, Constructive Mathematics
local.organizersSamuel R. Buss, San Diego; Ulrich Kohlenbach, Darmstadt; Helmut Schwichtenberg, München
local.report-nameWorkshop Report 2008,18
local.opc-photo-id0815
local.publishers-doi10.4171/OWR/2008/18
local.ems-referenceBuss Samuel, Kohlenbach Ulrich, Schwichtenberg Helmut: Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach Rep. 5 (2008), 907-952. doi: 10.4171/OWR/2008/18


Files in this item

Thumbnail
Report

This item appears in the following Collection(s)

Show simple item record