1447

Mathematical Logic: Proof theory, Constructive Mathematics

Thumbnail
View/Open
DOI
10.14760/OWR-2014-52
Publisher's DOI
10.4171/OWR/2014/52
Collections
Metadata
Show full item record
Workshop
1447
Period
16 Nov - 22 Nov 2014
Abstract
The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexity
Mathematics Subject Classification (MSC)
03
Report
Workshop Report 2014,52
Organizers
Samuel R. Buss, La Jolla; Ulrich Kohlenbach, Darmstadt; Michael Rathjen, Leeds
EMS Reference
Buss Samuel, Kohlenbach Ulrich, Rathjen Michael: Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach Rep. 11 (2014), 2933-2986. doi: 10.4171/OWR/2014/52
Oberwolfach Photo Collection
Open Workshop Photos
The following license files are associated with this item:
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.

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.

Preview
Report
Preview IconOpen Preview