13 research outputs found

    Short proofs of tautologies using the schema of equivalence

    No full text

    On a Generalisation of Herbrand’s Theorem

    No full text
    corecore