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 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 de Per >> Martin-Löf na forma de transcricoes de aulas dadas entre 1993 e 2019: >> >> https://pml.flu.cas.cz/ >> >> Entre esses escritos esta o que talvez seja a sua mais importante e >> sistematica obra "Philosophical aspects of intuitionistic type theory", que >> consiste em doze aulas dadas na Universidade de Leiden em 1993. >> >> O credito vai para Ansten Klev que editou a maioria das transcricoes e >> conseguiu a permissao do Martin-Löf e Ivo Pezlar pela manutencao da pagina. >> >> Abracos, >> Bruno >> > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <logica-l@dimap.ufrn.br> > --- > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/f9de4109-5f22-4b6d-bb1e-61c1827d4fb1n%40dimap.ufrn.br > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/f9de4109-5f22-4b6d-bb1e-61c1827d4fb1n%40dimap.ufrn.br?utm_medium=email&utm_source=footer> > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXtHv6KubgeQJ%2BubT6nYH6zToXUQqp5RsErkq%2Bk3iGtqHw%40mail.gmail.com.