2 research outputs found

    Extensionalizing Intensional Second-Order Logic

    Get PDF

    Extensionalizing Intensional Second-Order Logic

    No full text
    corecore