1943 resultados diretamente relacionados Excluir termos específicos
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
Parte de Ayda Ignez Arruda
Estudo de AIA, intitulado Capítulo I - Introdução aos Conceitos Fundamentais, tratando sobre lógica e sistemas formais. S.l., S.d. S.ass. 10p. ms., dat.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Estudo de AIA intitulado Sobre o Sistema G1 de Gentzen. S.l., S.d. S.ass. 13 p. ms.
Ayda Ignez Arruda