Olá, o artigo a que o prof. Doria se refere (ele me enviou o PDF) está em
http://www.dainf.ct.utfpr.edu.br/~adolfo/tempAll/logica-l/Kunen95ARamseyTheoremInBoyerMooreLogic.pdf []s Adolfo ========================================== Adolfo Neto Departamento Acadêmico de Informática Universidade Tecnológica Federal do Paraná Fone: (41) 3310-4644 / Fax: (41) 3310-4646 Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Blog: http://professoradolfo.blogspot.com ========================================== 2009/8/7 Francisco Antonio Doria <[email protected]> > Um artigo de Ken Kunen. Se a lista aceitasse anexos, punha aqui o paper... > > 2009/8/7 Marcelo Finger <[email protected]> > > Dória. >> >> V teria uma referência para isso: >> >> - Tem algoritmos fáceis de implementar que provam a consistência de PA. >>> >> >> Obrigado >> >> Marcelo >> >> >> -- >> 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 <http://www.ime.usp.br/%7Emfinger> >> >> > > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > >
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
