Mathematical Logic: Proof Theory, Constructive Mathematics

Thumbnail Image

Files

OWR_2017_53.pdf (478.81 KB)

Date

2017

Authors

Editor

Advisor

Volume

14

Issue

4

Journal

Oberwolfach reports : OWR

Series Titel

Book Title

Publisher

Zürich : EMS Publ. House

Supplementary Material

Other Versions

Link to publishers' Version

https://doi.org/10.4171/OWR/2017/53

Abstract

The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of core mathematics and theoretical computer science as well as homotopy type theory and logical aspects of computational complexity.

Description

Keywords

Keywords GND

Konferenzschrift

Conference

Workshop Mathematical Logic: Proof Theory, Constructive Mathematics, 05 Nov - 11 Nov 2017, Oberwolfach

Publication Type

Article

Version

publishedVersion

URI

https://oa.tib.eu/renate/handle/123456789/13329
 https://doi.org/10.34657/12359

Collections

Mathematik
Oberwolfach Reports (OWR)

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.
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.