Mathematical Logic: Proof Theory, Constructive Mathematics

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

      Abstract

      [no abstract available

        Similar works

        Full text

        thumbnail-image

        Available Versions

        Repositorium für Naturwissenschaften und Technik

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