1 research outputs found

    A Proof of the Characterization Theorem for Consequence Relations

    No full text
    corecore