0512

Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics

Thumbnail
Öffnen
DOI
10.14760/OWR-2005-14
Publisher's DOI
10.4171/OWR/2005/14
Collections
Metadata
Zur Langanzeige
Workshop
0512
Zeitraum
20 Mar - 26 Mar 2005
Zusammenfassung
The workshop “Mathematical Logic: Proof Theory, Type Theory
Mathematics Subject Classification (MSC)
03
Report
Workshop Report 2005,14
Tagungsleiter
Samuel R. Buss, La Jolla; Yiannis N. Moschovakis, Los Angeles; Helmut Schwichtenberg, München
EMS Referenz
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
Tagungsfotos anzeigen

Vorschau
Report
Preview IconVorschau öffnen