2 research outputs found

    A note on the first incompleteness theorem

    No full text
    corecore