- BR SPCLEARQ FAIA-PIm-EL-IT413
- Item
Part of Ayda Ignez Arruda
Estudo de AIA, intitulado Linguagem de Primeira Ordem. S.l., S.d. S.ass. 3p. ms.
Untitled
Print preview Close
Showing 261 results
Archival description2 results with digital objects Show results with digital objects
- BR SPCLEARQ FAIA-PIm-EL-IT415
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado O sistema A de Ackermann. S.l., S.d. S.ass. 4p. ms.
Untitled
- BR SPCLEARQ FAIA-PIm-EL-IT424
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Sobre o Sistema G1 de Gentzen. S.l., S.d. S.ass. 13 p. ms.
Untitled
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
- BR SPCLEARQ FAIA-PIm-EL-IT433
- Item
- 1976-08-29
Part of Ayda 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.
Untitled
Teoria de Conjuntos R e cálculos diversos
- BR SPCLEARQ FAIA-PIm-EL-IT438
- Item
Part of Ayda 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.
Untitled
Estudo contendo demonstrações de vários teoremas
- BR SPCLEARQ FAIA-PIm-EL-IT439
- Item
Part of Ayda Ignez Arruda
Estudo de AIA, sem título, contendo demonstrações de vários teoremas. S.l., S.d. S.ass. 5p. ms.
Untitled
Estudo contendo vários teoremas
- BR SPCLEARQ FAIA-PIm-EL-IT440
- Item
Part of Ayda Ignez Arruda
Estudo de AIA, sem título, contendo vários teoremas. S.l., S.d. S.ass. 8p. ms.
Untitled
Le schéma de la separation et les calculs Tn
- BR SPCLEARQ FAIA-Impr-IT499
- Item
- 1974
Part of Ayda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Le schéma de la separation et les calculs Tn. Mathematica Japonical, v.19, n.3, p. 183-186, 1974.
Untitled
Transformadas no Cálculo Restrito de Predicados
- BR SPCLEARQ FAIA-Impr-IT505
- Item
- 1966-12,
Part of Ayda 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.
Untitled
- BR SPCLEARQ FAIA-C-Cp-IT301
- Item
- ? - 1983-04-18
Part of Ayda Ignez Arruda
Carta, em inglês, de Ken para AIA, comunicando o envio de cópia do artigo de E.L. Post e informando que está procurando o livro. Annapolis, 18 abr. 1983. Ass.: Ken. 1p.
Untitled
- BR SPCLEARQ FAIA-C-Cp-IT305
- Item
- ? - 1982-04-06
Part of Ayda Ignez Arruda
Carta, em espanhol, de Lorenzo Peña para AIA, solicitando comentários ao livro Aporetic and Nonaporetic Paradoxes from the Viewpoint of na Axiomatized Contradictional Fuzzy Set-Theory. Quito, 06 abr. 1982. Ass.: Lorenzo Peña. 2p. ms.
Untitled
- BR SPCLEARQ FAIA-C-Cp-IT306
- Item
- ? - 1982-12-09
Part of Ayda Ignez Arruda
Carta, em espanhol, de Lorenzo Peña par AIA, desejando um felicidades no novo ano e falando sobre o trabalho a ser apresentado no Congresso de Salzburg. Quito, 09 dez. 1982. Ass.: Lorenzo. 1p. ms.
Untitled
Carta de Manoel Corrada para AIA
- BR SPCLEARQ FAIA-C-Cp-IT308
- Item
- ? - 1983-03-22
Part of Ayda Ignez Arruda
Carta, em espanhol, de Manoel Corrada para AIA, falando sobre a possibilidade dos professores Jeff Paris e George Wilmers visitarem a Unicamp. Santiago de Chile, 22 mar. 1983. Ass.: Manoel Corrada. 1p. ms.
Untitled
- BR SPCLEARQ FAIA-C-Cp-IT309
- Item
- ? - 1982-01-19
Part of Ayda Ignez Arruda
Carta, em espanhol, de M. Dickmann para AIA, comunicando seu interesse em vir à Campinas quando de sua participação no VI SLALM e solicitando uma resposta quanto sua vinda ao Brasil. Paris, 19 jan. 1982. Ass.: Marcel Dickmann. 1p.
Untitled
Carta de Nicola Grana para AIA
- BR SPCLEARQ FAIA-C-Cp-IT314
- Item
Part of Ayda Ignez Arruda
Carta, em inglês, de Nicola Grana para AIA, enviando trabalho e solicitando outros ainda não publicados na Itália. S.l., S.d. Ass.: Nicola Grana. 1p. ms.
Untitled
Carta de Richard Routley para AIA
- BR SPCLEARQ FAIA-C-Cp-IT324
- Item
- ? - 2002-11
Part of Ayda Ignez Arruda
Carta, em inglês, de Richard Routley para AIA, comentando sobre seus trabalhos e sobre o livro Paraconsistent Logic. Austrália, 11 fev. - . Ass.: Richard. 1p. ms.
Untitled
Cálculo de predicados de ordem superior
- BR SPCLEARQ FAIA-PIm-CP-IT395
- Item
Part of Ayda Ignez Arruda
Estudo de AIA, intitulado Cálculo de predicados de ordem superior. S.l., S.d. S.ass. 6p. ms.
Untitled
Decidibilidade do cálculo implicativo clássico
- BR SPCLEARQ FAIA-PIm-CP-IT399
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 11. ms.
Untitled
- BR SPCLEARQ FAIA-PIm-CP-IT402
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Independência de axiomas. S.l., S.d. S.ass. 1p. ms.
Untitled
Aspects of the Historical Development of Paraconsistent Logic
- BR SPCLEARQ FAIA-PIm-EL-IT408
- Item
Part of Ayda Ignez Arruda
Artigo, em inglês, de AIA intitulado Aspects of the Historical Development of Paraconsistent Logic. [Campinas], S.d. S.ass. 33p. dat. cópia.
Untitled
Abstract da palestra Implicative Systems and Modus Ponens Rule
- BR SPCLEARQ FAIA-PIm-EL-IT412
- Item
- 1972-07
Part of Ayda Ignez Arruda
Abstract, em inglês, de AIA, da palestra intitulada Implicative Systems and Modus Ponens Rule, apresentada no II Simpósio Latino Americano de Lógica Matemática. Brasília, jul. 1972. S.ass. 1p. dat.
Untitled
Observações sobre os sistemas NFi
- BR SPCLEARQ FAIA-PIm-EL-IT416
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Observações sobre os sistemas NFi. S.l., S.d. S.ass. 10p. ms.
Untitled
- BR SPCLEARQ FAIA-PIm-EL-IT422
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Sobre a regra do Modus Ponens. S.l., S.d. S.ass. 7p. ms.
Untitled
Teorema da Dedução para Teorias de Primeira Ordem
- BR SPCLEARQ FAIA-PIm-EL-IT426
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Teorema da Dedução para Teorias de Primeira Ordem. S.l., S.d. S.ass. 7p. ms.
Untitled
Estudos contendo tópicos sobre axiomas
- BR SPCLEARQ FAIA-PIm-EL-IT432
- Item
Part of 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.
Untitled
Caderno contendo anotações sobre lógicas relevante
- BR SPCLEARQ FAIA-PIm-EL-IT434
- Item
- 1976-09-16 - 1976-10-07
Part of 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.
Untitled
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
- BR SPCLEARQ FAIA-PIm-EL-IT435
- Item
Part of Ayda Ignez Arruda
Estudo de AIA, sem título, tratando sobre sistemas lógicos sem a regra do modus ponens. S.l., S.d. S.ass. 12p. ms.
Untitled
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
- BR SPCLEARQ FAIA-PIm-EL-IT437
- Item
- 1974-12-05 - 1975-12-09
Part of Ayda Ignez Arruda
Estudo de AIA, sem título, contendo partes intituladas A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias. S.l., 5 dez. 1974 - 09 dez. 1975. S.ass. 30p. ms.
Untitled
Sur un Théorème de Hilbert et Bernays
- BR SPCLEARQ FAIA-Impr-IT503
- Item
- 1964-06-29
Part of Ayda 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.
Untitled
Une sémantique pour le calcul C1=. C.R
- BR SPCLEARQ FAIA-Impr-IT506
- Item
- 1977-01-31
Part of Ayda 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.
Untitled
Results 61 to 90 of 261