Toggle navigation
English
Deutsch
English
English
Deutsch
Login
Toggle navigation
View Item
Home
5 - Oberwolfach Reports (OWR)
Oberwolfach Reports
Workshops 2005
View Item
Home
5 - Oberwolfach Reports (OWR)
Oberwolfach Reports
Workshops 2005
View Item
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
View/
Open
Report (318.4Kb)
DOI
10.14760/OWR-2005-14
Publisher's DOI
10.4171/OWR/2005/14
Collections
Workshops 2005
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
Open Preview
Search Publications
This Collection
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Workshop Code
Subjects
MFO Series ID
MSC
Snapshot Subject
MFO Scientific Program
This Collection
By Issue Date
Authors
Titles
Workshop Code
Subjects
MFO Series ID
MSC
Snapshot Subject
MFO Scientific Program