Miraglia & Eneas: Um livro interessante sobre aspectos mais filosóficos da lógica de segunda-ordem é:
Foundations without Foundationalism: A Case for Second-order Logic Stewart Shapiro Para aspectos mais computacionais/matemáticos há o seguinte livro (mas este eu infelizmente ainda não tive em mãos para avaliar por mim mesmo): Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications Dov M Gabbay et al. Sobre lógica de ordem superior em geral, de maneira mais ampla, há o fascinante livro: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof Peter B. Andrews além, claro, de toda a série de anais da conferência TPHOLs, publicados na LNCS. Abraços, Joao Marcos 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 -- My homepage: http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
