Kurt Gödel Centenary Research Prize Fellowship - Day 1 - Conference
196-Unbenannt-217_coquand.jpg.medium.jpeg