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/b2ac7a5c-733a-45fd-8f63-7d2555b33394n%40dimap.ufrn.br.
