| 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 and Constructive Mathematics” covered various topics of mathematical logic dealing with proofs as formal objects and computations induced by proofs. | |
| 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 | |
