Tou lendo algumas transcrições. Caramba, que coisa fantástica!!! Já recomendei pra esse cara daqui incluir o link na lista dele:
https://github.com/jozefg/learn-tt [[]] =), Eduardo Ochs http://angg.twu.net/math-b.html On Mon, 5 Sept 2022 at 23:33, Bruno Bentzen <b.bent...@hotmail.com> 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/b2ac7a5c-733a-45fd-8f63-7d2555b33394n%40dimap.ufrn.br. -- 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/CADs%2B%2B6h%3DC2aAs2NNRwCbek_R9Y4RxUqxaTNnujLOgNoJUiReNQ%40mail.gmail.com.