Show simple item record

Mathematical Logic: Proof Theory, Constructive Mathematics

dc.date.accessioned2019-10-24T15:37:38Z
dc.date.available2019-10-24T15:37:38Z
dc.date.issued2017
dc.identifier.urihttp://publications.mfo.de/handle/mfo/3617
dc.description.abstractThe workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of core mathematics and theoretical computer science as well as homotopy type theory 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-2017-53
local.series.idOWR-2017-53
local.subject.msc03
local.sortindex1057
local.date-range05 Nov - 11 Nov 2017
local.workshopcode1745
local.workshoptitleMathematical Logic: Proof Theory, Constructive Mathematics
local.organizersSamuel R. Buss, La Jolla; Rosalie Iemhoff, Utrecht; Ulrich Kohlenbach, Darmstadt; Michael Rathjen, Leeds
local.report-nameWorkshop Report 2017,53
local.opc-photo-id1745
local.publishers-doi10.4171/OWR/2017/53
local.ems-referenceBuss Samuel, Iemhoff Rosalie, Kohlenbach Ulrich, Rathjen Michael: Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach Rep. 14 (2017), 3121-3183. doi: 10.4171/OWR/2017/53


Files in this item

Thumbnail
Report

This item appears in the following Collection(s)

Show simple item record