Pode ser encontrado também em http://www.springerlink.com/content/r937t81xw5l362v1/
========================================== 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 Adolfo Neto <[email protected]> > 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<http://www.dainf.ct.utfpr.edu.br/%7Eadolfo/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<http://www.dainf.ct.utfpr.edu.br/%7Eadolfo> > 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
