Proof theory of non-classical logics

    Description

    Funding for research group
    StatusFinished
    Effective start/end date01/01/200631/12/2009