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 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ê 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/8c718a3c-9601-4b7e-abe9-4e950fae86adn%40dimap.ufrn.br.
