Cálculos Implicativos Gerais
Adicionar a área de transferência
Estudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. ms.
Ayda Ignez Arruda
A teoria de primeira ordem v
Adicionar a área de transferência
Estudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms.
Ayda Ignez Arruda
Artigo cálculos proposicionais
Adicionar a área de transferência
Artigo, em francês, [de AIA], sem título, sobre cálculos proposicionais que servem de base a sistemas inconsistentes e não-triviais. S.l., S.d. S.ass. 15p. ms. cópia.
Ayda Ignez Arruda
Matrizes
Adicionar a área de transferência
Estudo de AIA intitulado Matrizes. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arruda
Introdução: 3 – Matrizes
Adicionar a área de transferência
Estudo de AIA intitulado Introdução: 3 - Matrizes. S.l., S.d. S.ass. 8p. ms.
Ayda Ignez Arruda
Independência de axiomas
Adicionar a área de transferência
Estudo de AIA intitulado Independência de axiomas. S.l., S.d. S.ass. 1p. ms.
Ayda Ignez Arruda
Função de verdade e matrizes
Adicionar a área de transferência
Estudo de AIA intitulado Função de verdade e matrizes. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arruda
Carta de John Corcoran
Adicionar a área de transferência
Carta de John Corcoran a NCAC agradecendo a atenção recebida, descreve o currículo de Hewing e pedindo a NCAC que o chame pelo seu primeiro nome. S.l., 18 de jan. de 1975. 2p. (ms)
Experiência com iças
Adicionar a área de transferência
Pesquisa com iças em seu habitat natural
Walter Hugo de Andrade Cunha
Carta de JCVM à Diretoria da Adunicamp
Adicionar a área de transferência
Carta de JCVM à Diretoria da ADUNICAMP encaminhando documentos para conhecimento e providências cabíveis. Ass. José Carlos Valladão de Mattos
José Carlos Valladão de Mattos
Regresso de Genebra
Adicionar a área de transferência
Almirante Álvaro Alberto da Mota e Silva, Joaquim da Costa Ribeiro e outros
Joaquim da Costa Ribeiro
Capítulo II: Cálculo Proposicional
Adicionar a área de transferência
Estudo de AIA, intitulado Capítulo II: Cálculo Proposicional. S.l., S.d. S.ass. 15p. ms.
Ayda Ignez Arruda
Capítulo I: Cálculo Proposicional
Adicionar a área de transferência
Estudo de AIA, intitulado Capítulo I: Cálculo Proposicional. S.l., S.d. S.ass. 5p. ms.
Ayda Ignez Arruda
Cálculo Proposicional
Adicionar a área de transferência
Estudo de AIA, intitulado Cálculo Proposicional. S.l., S.d. S.ass. 14p. ms.
Ayda Ignez Arruda
Aplicação de Matrizes
Adicionar a área de transferência
Estudo de AIA intitulado Aplicação de Matrizes. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arruda
Estudo de AIA
Adicionar a área de transferência
Estudo, em inglês, de AIA, sem título, sobre a construção de lógicas paraconsistentes adequadas para o estudo de teorias inconsistentes e incompletas. S.l., S.d. S.ass. 6p. ms.
Ayda Ignez Arruda
Estudo sobre a completude de C+
Adicionar a área de transferência
Estudo de [AIA], sem título, sobre a completude de C+. S.l., S.d. S.ass. 16p. ms. cópia.
Ayda Ignez Arruda
Carta de Jerzy Perzaniwsky
Adicionar a área de transferência
Carta de Jerzy Perzaniwsky a NCAC discutindo sobre seus trabalhos "Odontological Investigation" e "Lógica Modal". João Pessoa, Paraíba, 5 de mar. 1991. 2p. (ms)
