Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics

dc.date.accessioned	2019-10-24T13:04:19Z
dc.date.available	2019-10-24T13:04:19Z
dc.date.issued	2005
dc.identifier.uri	http://publications.mfo.de/handle/mfo/2888
dc.description.abstract	The workshop “Mathematical Logic: Proof Theory, Type Theory
dc.title	Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics
dc.rights.license	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.	de
dc.rights.license	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.	en
dc.identifier.doi	10.14760/OWR-2005-14
local.series.id	OWR-2005-14
local.subject.msc	03
local.sortindex	328
local.date-range	20 Mar - 26 Mar 2005
local.workshopcode	0512
local.workshoptitle	Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics
local.organizers	Samuel R. Buss, La Jolla; Yiannis N. Moschovakis, Los Angeles; Helmut Schwichtenberg, München
local.report-name	Workshop Report 2005,14
local.opc-photo-id	0512
local.publishers-doi	10.4171/OWR/2005/14
local.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

Report