Zur Kurzanzeige

Mathematical Logic: Proof theory, Constructive Mathematics

dc.date.accessioned2019-10-24T14:59:44Z
dc.date.available2019-10-24T14:59:44Z
dc.date.issued2014
dc.identifier.urihttp://publications.mfo.de/handle/mfo/3442
dc.description.abstractThe workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexity
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-2014-52
local.series.idOWR-2014-52
local.subject.msc03
local.sortindex882
local.date-range16 Nov - 22 Nov 2014
local.workshopcode1447
local.workshoptitleMathematical Logic: Proof theory, Constructive Mathematics
local.organizersSamuel R. Buss, La Jolla; Ulrich Kohlenbach, Darmstadt; Michael Rathjen, Leeds
local.report-nameWorkshop Report 2014,52
local.opc-photo-id1447
local.publishers-doi10.4171/OWR/2014/52
local.ems-referenceBuss Samuel, Kohlenbach Ulrich, Rathjen Michael: Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach Rep. 11 (2014), 2933-2986. doi: 10.4171/OWR/2014/52


Dateien zu dieser Ressource

Thumbnail
Report

Das Dokument erscheint in:

Zur Kurzanzeige