Morphisms for the Positive Fragment of Intuitionistic Logic

  • Nick Bezhanishvili (Invited speaker)

    Activity: Talk or presentation › Invited talk › Academic

    Period24 Nov 2012
    Event titlePIIA Seminar (Seminar on Provability, Interpretability, Intuitionism, Arithmetic), ILLC
    Event typeOther
    LocationUniversity of AmsterdamShow on map