0512
Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics
Report (318.4Kb)Workshop
0512Zeitraum
20 Mar - 26 Mar 2005Zusammenfassung
The workshop “Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics” covered various topics of mathematical logic dealing with proofs as formal objects and computations induced by proofs.
Mathematics Subject Classification (MSC)
03Report
Workshop Report 2005,14Tagungsleiter
Samuel R. Buss, La Jolla; Yiannis N. Moschovakis, Los Angeles; Helmut Schwichtenberg, MünchenEMS 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/14Oberwolfach Photo Collection
Tagungsfotos anzeigenDie folgenden Lizenzbestimmungen sind mit dieser Ressource verbunden:
Dieses Dokument darf im Rahmen von § 53 UrhG zum eigenen Gebrauch kostenfrei heruntergeladen, gelesen, gespeichert und ausgedruckt, aber nicht im Internet bereitgestellt oder an Außenstehende weitergegeben werden.This document may be downloaded, read, stored and printed for your own use within the limits of § 53 UrhG but it may not be distributed via the internet or passed on to external parties.
Vorschau öffnen