Publicações do Grupo GLTA
Textos sobre Lógica, Filosofia e Fundamentos da Metemática e das Ciências Formais:
"Sobre a história da lógica, a lógica clássica e o surgimento das lógicas não-clássicas"
Profa. Dra. Ítala Maria Loffredo D’Ottaviano
Centro de Lógica, Epistemologia e História da Ciência
UNICAMP, CLE / IFCH
Prof. Dr. Hércules de Araujo Feitosa
Departamento de Matemática
UNESP-Bauru, Faculdade de Ciências
Arquivo para download: [PDF]
"Sobre a Indução"
Profa. Dra. Maria Cláudia Cabrini Grácio
Faculdade de Filosofia e Ciências
UNESP (Marília, SP)
Arquivo para download: [PDF]
"Teoria da Prova"
Prof. Dra. Maria da Paz Nunes de Medeiros
Departamento de Filosofia, UFRN (Natal, RN)
Arquivo para download: [PDF]
"A lógica e o consortio daemoniorum"
Resenha Crítica de "Lógica para Ciência da Computação Fundamentos de Linguagem, Semântica e Sistemas de Dedução", de
João Nunes de Sousa (Editora Campus Ltda., 2002)
Prof. Dr. Walter A. Carnielli
Prof. Dr. Marcelo E. Coniglio
IFCH e CLE - UNICAMP
Arquivo para download: [PDF]
