Pela Capes não acesso :(( Você acessa, Adolfo? Me manda, por favor.
2009/8/7 Adolfo Neto <[email protected]> > 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<http://www.dainf.ct.utfpr.edu.br/%7Eadolfo> > 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
