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/f9de4109-5f22-4b6d-bb1e-61c1827d4fb1n%40dimap.ufrn.br.