Oi Chico. Se o seu aluno ainda está bem no começo, sugiro ele começar pelo trabalho de Henkin em Lógica de Ordem Alta (HOL), pois muito do que veio depois está sob grande influência deste trabalho. Mas é claro que tem coisa bem mais moderna sobre o assunto.
[]s Marcelo 2008/9/26 Francisco Miraglia <[EMAIL PROTECTED]> > Caros Colegas, > > Dois pedidos: > > 1) Incluir na nossa lista um estudante meu de mestrado. > Seu endereco eletronico e [EMAIL PROTECTED] > > 2) O Eneas esta interesado em Logica de Segunda Ordem. > Agradeceria que as referencias e indicacoes que voces > possuam acerca do assunto sejam enviadas para ele, com > copia para mim. Tentei dissuadi-lo do projeto. > Felizmente, fui mal sucedido... > > Um grande abraco p-ara todos e agradecimentos antecipados !! > > Chico Miraglia > > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Marcelo Finger Departamento de Ciencia da Computacao Instituto de Matematica e Estatistica Universidade de Sao Paulo Rua do Matao, 1010 05508-090 Sao Paulo, SP Brazil Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax) http://www.ime.usp.br/~mfinger
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
