Mathematical Logic: Proof Theory, Constructive Mathematics
Loading...
Date
2017
Authors
Volume
53
Issue
Journal
Series Titel
Oberwolfach reports : OWR
Book Title
Publisher
Zürich : EMS Publ. House
Link to publishers version
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
Citation
Mathematical Logic: Proof Theory, Constructive Mathematics (Zürich : EMS Publ. House). (2017). https://doi.org//10.14760/OWR-2017-53
Collections
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.
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.
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.