Self-Referential Gödel Numberings
Wann
Donnerstag, 19. Juli 2018
17 bis 18:30 Uhr
Wo
G307
Veranstaltet von
Logic Colloquium
Vortragende Person/Vortragende Personen:
Albert Visser Department of Philosophy and Religious Studies, Utrecht University