0512

Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics

Thumbnail
View/Open
DOI
10.14760/OWR-2005-14
Publisher's DOI
10.4171/OWR/2005/14
Collections
Metadata
Show full item record
Workshop
0512
Period
20 Mar - 26 Mar 2005
Abstract
The workshop “Mathematical Logic: Proof Theory, Type Theory
Mathematics Subject Classification (MSC)
03
Report
Workshop Report 2005,14
Organizers
Samuel R. Buss, La Jolla; Yiannis N. Moschovakis, Los Angeles; Helmut Schwichtenberg, München
EMS Reference
Buss Samuel, Keilis-Borok Vladimir, Schwichtenberg Helmut: Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics. Oberwolfach Rep. 2 (2005), 779-813. doi: 10.4171/OWR/2005/14
Oberwolfach Photo Collection
Open Workshop Photos

Preview
Report