2 research outputs found

    On the recursive unsolvability of the provability of the deduction theorem in partial propositional calculi.

    No full text
    corecore