Seminario Logica Carioca
Segunda feira 7 de Maio 14h
Coppe - Centro de Tecnologia F110 - UFRJ
Palestra do logico russo Andrey Bovykin
da famosa escola de Sao Petersburgo:
The story of modern metamathematics and some recent results
Todos os detalhos no site da logica carioca
http://www.rio-logic.
Sala F 110 na Engenharia de Produção, bloco F.
Sent from my iPhone
On 03/05/2012, at 12:00, jean-yves beziau wrote:
> Seminario Logica Carioca
> Segunda feira 7 de Maio 14h
> Coppe - Centro de Tecnologia F110 - UFRJ
>
> Palestra do logico russo Andrey Bovykin
> da famosa escola de Sao Petersb