• Login
    JavaScript is disabled for your browser. Some features of this site may not work without it.
    A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis 
    •   QMRO Home
    • School of Electronic Engineering and Computer Science
    • Electronic Engineering and Computer Science
    • A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis
    •   QMRO Home
    • School of Electronic Engineering and Computer Science
    • Electronic Engineering and Computer Science
    • A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis
    ‌
    ‌

    Browse

    All of QMROCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects
    ‌
    ‌

    Administrators only

    Login
    ‌
    ‌

    Statistics

    Most Popular ItemsStatistics by CountryMost Popular Authors

    A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis

    Editors
    Kahle, R
    Rathjen, M
    Publisher
    Springer
    ISBN-10
    331910103X
    ISBN-13
    9783319101033
    Journal
    Gentzen's Centenary The Quest for Consistency
    Metadata
    Show full item record
    Abstract
    This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond.
    Authors
    BORGES OLIVA, P; Powell, T
    URI
    http://qmro.qmul.ac.uk/xmlui/handle/123456789/10514
    Collections
    • Electronic Engineering and Computer Science [2816]
    Twitter iconFollow QMUL on Twitter
    Twitter iconFollow QM Research
    Online on twitter
    Facebook iconLike us on Facebook
    • Site Map
    • Privacy and cookies
    • Disclaimer
    • Accessibility
    • Contacts
    • Intranet
    • Current students

    Modern Slavery Statement

    Queen Mary University of London
    Mile End Road
    London E1 4NS
    Tel: +44 (0)20 7882 5555

    © Queen Mary University of London.