On formal systems proving their own consistency
What | Lecture | |
---|---|---|
When | 09/05/2025 - 13:00 to 15:00 | |
Where | Blandijn, room -1.91 | |
Speaker(s) |
|
What | Lecture | |
---|---|---|
When | 09/05/2025 - 13:00 to 15:00 | |
Where | Blandijn, room -1.91 | |
Speaker(s) |
|