109 research outputs found

    A simplification of basic logic

    No full text

    The consistency of system Q

    No full text

    A note on recursive relations

    No full text

    Correction to a definition of negation

    No full text

    Recursive functions in basic logic

    No full text
    • …
    corecore