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

Preview
Report
Preview IconOpen Preview