pode ser do interesse de alguns!
abs,
Valeria
-- Forwarded message -
From: Tim Hosgood
Date: Mon, Feb 1, 2021 at 1:18 PM
Subject: Topos Institute Colloquium
To: Topos Seminars
Hi everyone,
This Thursday (the 4th of February) at 17:00 UTC, David Spivak will be
giving the
https://www.youtube.com/channel/UCPS1c5ApuwjuCV9UjXHUN4w
Ivan ganhou a primeira edição do concurso em 2018 no UNILOG em Vichy
enquanto vencedor do prêmio de lógica Louis Couturat da França.
(O representante do Brasil era Jonas Becker, que participou deste concurso
enquanto vencedor do prêmio de