Toggle navigation
English
Deutsch
Deutsch
English
Deutsch
Einloggen
Toggle navigation
Dokumentanzeige
Startseite
5 - Oberwolfach Reports (OWR)
Oberwolfach Reports
Workshops 2005
Dokumentanzeige
Startseite
5 - Oberwolfach Reports (OWR)
Oberwolfach Reports
Workshops 2005
Dokumentanzeige
JavaScript is disabled for your browser. Some features of this site may not work without it.
0512
Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics
Öffnen
Report (318.4Kb)
DOI
10.14760/OWR-2005-14
Publisher's DOI
10.4171/OWR/2005/14
Collections
Workshops 2005
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
Vorschau öffnen
Publikationen durchsuchen
In dieser Sammlung
Stöbern
Gesamter Bestand
Bereiche & Sammlungen
Erscheinungsdatum
Autoren
Titeln
Workshop Code
Schlagworten
MFO Series ID
MSC
Snapshot Subject
MFO Scientific Program
Diese Sammlung
Erscheinungsdatum
Autoren
Titeln
Workshop Code
Schlagworten
MFO Series ID
MSC
Snapshot Subject
MFO Scientific Program