Mathematical Logic: Proof theory, Constructive Mathematics

Authors
    Publication date
    1 January 2014
    Publisher
    Zürich : EMS Publ. House
    Doi

      Abstract

      The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexit

        Similar works

        Full text

        thumbnail-image

        Available Versions

        Sustaining member

        Repositorium für Naturwissenschaften und Technik

        redirect
        oaioai:oa.tib.eu:123456789/13156
        Last time updated on 12/01/2024