Per Martin-löf

  1. Title:
    Invariance Under Isomorphism and Definability

    Speaker:

    Link: