18 resultados con objetos digitales Muestra los resultados con objetos digitales
Cartão de Natal de Vladimir A. Smirnov para AIA
Parte deAyda Ignez Arruda
Cartão de Natal, em inglês, de Vladimir A. Smirnov para AIA, desejando votos de boas festas. Moscou, S.d. S.ass. 1p. ms.
Ayda Ignez Arruda
Produção Intelectual Manuscrita
Parte deAyda Ignez Arruda
Parte deAyda Ignez Arruda
Observações sobre o conjunto de Russell
Parte deAyda Ignez Arruda
Artigo de AIA, intitulado Observações sobre o conjunto de Russell. IMECC, S.d. S.ass. 5p. dat.
Ayda Ignez Arruda
Resumo de AIA intitulado On Griss' Propositional Calculus
Parte deAyda Ignez Arruda
Resumo, em inglês, de AIA, intitulado On Griss' Propositional Calculus. S.l., S.d. S.ass. 1p. dat.
Ayda Ignez Arruda
Sur la Théorie des Sytèmes Formels Inconsistants
Parte deAyda Ignez Arruda
Artigo, em francês, de AIA, intitulado Sur la Théorie des Sytèmes Formels Inconsistants. IMECC, S.d., S.ass. 13p. dat. cópia.
Ayda Ignez Arruda
Une sémantique pour le calcul C1=
Parte deAyda Ignez Arruda
Artigo, em francês, de AIA e Newton C. A. da Costa, intitulado Une sémantique pour le calcul C1=. S.l., S.d. S.ass. 4p. dat. cópia.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Artigo, em inglês, [de AIA], sem título, contendo os tópicos Semantics in Logic, Paradoxes, Meta-Language, Axiomatic Treatment, Definition of Semantics Concepts, Analytic Truth e Two Kinds of Meaning. S.l., S.d. S.ass. 13p. dat.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Artigo, em inglês, de AIA, intitulado Os sistemas P e P*, tratando sobre algumas lógicas paraconsistentes relevantes. S.l., S.d. S.ass. 26p. ms.
Ayda Ignez Arruda
Críticas de Smirnov à lógica de Vasil'év
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Críticas de Smirnov à lógica de Vasil'év. S.l., S.d. S.ass. 1p. ms.
Ayda Ignez Arruda
Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arruda
Estudo Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic
Parte deAyda Ignez Arruda
Estudo, em inglês, de AIA, intitulado Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic. S.l., S.d. Ass. Ayda I. Arruda. 19p. ms.
Ayda Ignez Arruda
Sistemas Cn, Cw e Relacionados
Parte deAyda Ignez Arruda
Estudo de AIA, Sobre a Lógica da Vaguidade
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Sobre a Lógica da Vaguidade. S.l., S.d. S.ass. 14p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Teoremas em Cw. S.l., S.d. S.ass. 8p. ms.
Ayda Ignez Arruda
Cálculos Proposicionais, de Predicados e Matrizes
Parte deAyda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Cálculo Proposicional. S.l., S.d. S.ass. 14p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. ms.
Ayda Ignez Arruda
Capítulo II - Teoria de conjuntos An
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Capítulo II - Teoria de conjuntos An. S.l., S.d. S.ass. 20p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Linguagem de Primeira Ordem. S.l., S.d. S.ass. 3p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA intitulado O sistema A de Ackermann. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Sobre o Sistema G1 de Gentzen. S.l., S.d. S.ass. 13 p. ms.
Ayda Ignez Arruda
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
Parte deAyda Ignez Arruda
Estudo de AIA, sem título, tratando sobre vários aspectos pertinentes à lógica relevante. S.l., 29 e 31 ago. 1976. S.ass. 22p. ms.
Ayda Ignez Arruda
Teoria de Conjuntos R e cálculos diversos
Parte deAyda Ignez Arruda
Caderno de AIA, sem título, contendo anotações sobre Teoria de Conjuntos R e cálculos diversos. S.l., S.d. S.ass. 20p. ms.
Ayda Ignez Arruda
Estudo contendo demonstrações de vários teoremas
Parte deAyda Ignez Arruda
Estudo de AIA, sem título, contendo demonstrações de vários teoremas. S.l., S.d. S.ass. 5p. ms.
Ayda Ignez Arruda
Estudo contendo vários teoremas
Parte deAyda Ignez Arruda
Estudo de AIA, sem título, contendo vários teoremas. S.l., S.d. S.ass. 8p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Artigo, em alemão, de Siegfried Gottwald, intitulado Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik. Leipzig, Alemanha, [1983]. 9p. dat.
Ayda Ignez Arruda
Generalization of some results of Elie Sanchez
Parte deAyda Ignez Arruda
Artigo, em inglês, de Siegfried Gottwald, intitulado Generalization of some results of Elie Sanchez. [Leipzig, Alemanha, 1982-1983]. S.ass. 7p. dat.
Ayda Ignez Arruda