2 resultados con objetos digitales Muestra los resultados con objetos digitales
Várias axiomáticas para o cálculo proposicional clássico
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Várias axiomáticas para o cálculo proposicional clássico. S.l., S.d. S.ass. 1p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Unidade de opostos. S.l., S.d. S.ass. 7p. ms.
Ayda Ignez Arruda
Une sémantique pour le calcul C1=. C.R
Parte deAyda Ignez Arruda
ARRUDA, Ayda Ignez; COSTA, Newton Carneiro Affonso da. Une sémantique pour le calcul C1=. C.R. Acad. Sc. Paris, Paris, t. 284, p. 279 ? 281, 31 jan. 1977.
Ayda Ignez Arruda
Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P. S.l., S.d. S.ass. 26p. ms.
Ayda Ignez Arruda
Transformadas no Cálculo Restrito de Predicados
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Transformadas no Cálculo Restrito de Predicados. Anais da Academia Brasileira de Ciências. Rio de Janeiro, v. 38, n. 3/4, p. 385-390, dez. 1966.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Termo de outorga e aceitação de auxílio Fapesp do projeto de contratação do professor Jerzy Kotas como professor visitante, registrado como processo n° 78/1294, concedido a AIA. Ass.: Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Termo de outorga e aceitação de auxílio Fapesp do projeto VI Encontro Brasileiro de Lógica, registrado como Processo 2/1543-8, concedido a AIA. Ass.: Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Termo de outorga e aceitação de auxílio Fapesp do projeto Aquisição de Separatas registrado como Processo n° 80/0978-5, concedido a AIA.
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
Teorema de Completude para teorias de primeira ordem
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Teorema de Completude para teorias de primeira ordem. S.l., S.d. S.ass. 22p. ms.
Ayda Ignez Arruda
Teorema da Dedução para Teorias de Primeira Ordem
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Teorema da Dedução para Teorias de Primeira Ordem. S.l., S.d. S.ass. 7p. ms.
Ayda Ignez Arruda
Telex de Carlos Di Prisco para AIA
Parte deAyda Ignez Arruda
Telex, em espanhol, de Carlos Di Prisco para AIA, informando o envio de passagens aéreas. Caracas, S.d. S.ass. 1p. dat.
Ayda Ignez Arruda
Telex de Carlos Di Prisco para AIA
Parte deAyda Ignez Arruda
Telex, em espanhol, de Carlos Di Prisco para AIA, comunicando possibilidades de obter financiamento para viagem e solicitando outras informações. Caracas, 01 fev. 1983. 1p. dat.
Ayda Ignez Arruda
Telex de AIA ao professor Richard Routley
Parte deAyda Ignez Arruda
Telex, em inglês, de AIA a Richard Routley aprovando a publicação de seu artigo. IMECC, 19 jan. 1983. S.ass. 1p. dat.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Telex de AIA para Paul Weingartner comunicando não ter recebido o convite oficial. Ass.: Ayda Ignez Arruda
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Telex de AIA para Paul Weingartner comunicando não ter recebido o convite oficial. Ass.: Ayda Ignez Arruda
Ayda Ignez Arruda
Sur une hiérarchies de systèmes formels
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur une hiérarchies de systèmes formels. C.R. Acad. Sc. Paris, Paris, t. 259, p. 2943-2945, 2 nov. 1964.
Ayda Ignez Arruda
Sur un Théorème de Hilbert et Bernays
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur un Théorème de Hilbert et Bernays. Acad. S.c. Paris, Paris, t. 258, p. 6311-6312, 29 jun. 1964.
Ayda Ignez Arruda
Sur le schèma de la sèparation
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur le schèma de la sèparation. Nagoya Mathematical Journal, v.38, p. 71-84, mar. 1970.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo, em francês, de AIA intitulado Sur l’ensemble R dans NFw. S.l., S.d. S.ass. 16p. ms.
Ayda Ignez Arruda
Some remarks on the logic of vagueness
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; ALVES, Elias H. Some remarks on the logic of vagueness. s.l., p. 133 ? 138, s.d.
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
Sobre Certos Sistemas de Lógica Relevante
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Sobre Certos Sistemas de Lógica Relevante. S.l., S.d. S.ass. 11p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Sobre a regra do Modus Ponens. S.l., S.d. S.ass. 7p. ms.
Ayda Ignez Arruda
Sistemas formais inconsistentes e teorias de conjuntos
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Sistemas formais inconsistentes e teorias de conjuntos. S.l., S.d. S.ass. 5p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Sistema DL. S.l., S.d. S.ass. 10p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Semântica para D1. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arruda
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; BATENS, Diderik. Russell's Set Versus the Universal Set in Paraconsistent Set Theory. Logique et Analyse, v.25, n.98, p. 121-133, jun. 1982.
Ayda Ignez Arruda
Relevance Logic and the Schema of Separation
Parte deAyda Ignez Arruda
Estudo, em inglês, de AIA intitulado Relevance Logic and the Schema of Separation. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Relatório científico de AIA relativo à visita do professor Jerzy Kotas.