Self-Referential Gödel-Numberings

Activity: Talk or presentation › Invited talk › Academic

Period19 Jul 2018
Event titleLogic Colloquium, Konstanz
Event typeSeminar
LocationKonstanz, GermanyShow on map