[Logica-l] Re: Per Martin-Löf: transcriptions

2022-09-06 Thread Cassiano Terra Rodrigues
Excepcional material, obrigado, Bruno, por divulgar. Abraços, cass. On Monday, September 5, 2022 at 11:33:45 PM UTC-3 Bruno Bentzen wrote: > Caros, > > Meus colegas do Instituto de Filosofia da Academia Tcheca de Ciencias > criaram a seguinte pagina contendo uma colecao de escritos ineditos d

[Logica-l] Re: Per Martin-Löf: transcriptions

2022-09-06 Thread Daniel Durante
Que maravilha, Bruno!! Muito obrigado por compartilhar!! Abraços, Daniel. Em terça-feira, 6 de setembro de 2022 às 07:50:35 UTC-3, Cassiano Terra Rodrigues escreveu: > Excepcional material, obrigado, Bruno, por divulgar. > Abraços, > cass. > > > On Monday, September 5, 2022 at 11:33:45 PM UT

Re: [Logica-l] Re: Per Martin-Löf: transcriptions

2022-09-06 Thread Valeria de Paiva
Realmente exceptional! Muito obrigada ao Ansten Klev e outros colegas por esse trabalho primoroso. e muito obrigada ao Bruno pela informacao. abs Valeria On Tue, Sep 6, 2022 at 3:50 AM Cassiano Terra Rodrigues < cassiano.te...@gmail.com> wrote: > Excepcional material, obrigado, Bruno, por divulg

[Logica-l] LSFA 2022 at UFMG - Call for participation

2022-09-06 Thread Haniel Barbosa
LSFA 2022 at UFMG - Call for participation The 17th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2022) will be held at UFMG, in Belo Horizonte, on Sep 23 and Sep 24, 2022. The program will be online soon at https://lsfa2022.github.io/#program Registration f