- BR SPCLEARQ AIA-PIm-EL-26
- Item
- 1975-09-05
Parte de Ayda Ignez Arruda
Estudo de AIA, sem título, analisando vários aspectos da lógica, fazendo referência a alguns pensadores e lógicos. S.l., 05 set. 1975. S.ass. 7p. ms.
Ayda Ignez Arruda
1943 resultados diretamente relacionados Excluir termos específicos
Parte de Ayda Ignez Arruda
Estudo de AIA, sem título, analisando vários aspectos da lógica, fazendo referência a alguns pensadores e lógicos. S.l., 05 set. 1975. S.ass. 7p. ms.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Estudo de AIA, sem título, contendo tópicos sobre axiomas, regras de dedução e linguagens de primeira ordem. S.l., S.d. S.ass. 7p. ms.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Caderno de AIA, sem título, contendo anotações sobre lógicas relevantes e cálculo de predicados de primeira ordem sem igualdade CP. S.l., 16 set. - 7 out. 1976. S.ass. 36p. ms.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Estudo, em francês, de AIA, sem título, sobre a regra do modus ponens. S.l., S.d. S.ass. 19p. ms.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Estudo de AIA, sem título, sobre a silogística de Vasil'év. S.l., S.d. S.ass. 11p. ms
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Estudo de AIA, intitulado Capítulo I: Os Cálculos Cn. S.l., S.d. S.ass. 18p. dat. cópia.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
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
Parte de Ayda Ignez Arruda
Estudo de AIA, intitulado Cálculo de predicados de ordem superior. S.l., S.d. S.ass. 6p. ms.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Estudo de AIA intitulado Introdução: 3 - Matrizes. S.l., S.d. S.ass. 8p. ms.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Estudo de AIA intitulado Matrizes. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arruda