One Step to Admissibility in Intuitionistic Gödel-Löb Logic

  • Iris van der Giessen (Speaker)

Activity: Talk or presentation › Poster/paper presentation › Academic

Period19 Feb 2020
Event titleAlgebra|Coalgebra Seminar of ILLC
Event typeSeminar
LocationAmsterdam, NetherlandsShow on map
Degree of RecognitionLocal