Logic Colloquium: Proof, Meaning and Paradox: Some Remarks
Wann
Donnerstag, 9. November 2017
17 bis 18:30 Uhr
Wo
G 307
Veranstaltet von
Vortragende Person/Vortragende Personen:
Luca Tranchini (University of Tübingen, Department of Computer Science)
Diese Veranstaltung ist Teil der Veranstaltungsreihe „Logic Colloquium“.