dc.date.accessioned | 2019-10-24T13:41:30Z | |
dc.date.available | 2019-10-24T13:41:30Z | |
dc.date.issued | 2008 | |
dc.identifier.uri | http://publications.mfo.de/handle/mfo/3062 | |
dc.title | Mathematical Logic: Proof Theory, Constructive Mathematics | |
dc.rights.license | Dieses 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.license | This 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.doi | 10.14760/OWR-2008-18 | |
local.series.id | OWR-2008-18 | |
local.subject.msc | 03 | |
local.sortindex | 502 | |
local.date-range | 06 Apr - 12 Apr 2008 | |
local.workshopcode | 0815 | |
local.workshoptitle | Mathematical Logic: Proof Theory, Constructive Mathematics | |
local.organizers | Samuel R. Buss, San Diego; Ulrich Kohlenbach, Darmstadt; Helmut Schwichtenberg, München | |
local.report-name | Workshop Report 2008,18 | |
local.opc-photo-id | 0815 | |
local.publishers-doi | 10.4171/OWR/2008/18 | |
local.ems-reference | Buss Samuel, Kohlenbach Ulrich, Schwichtenberg Helmut: Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach Rep. 5 (2008), 907-952. doi: 10.4171/OWR/2008/18 | |