Mostrando 261 resultados

Descrição arquivística
Ayda Ignez Arruda Inglês
Visualizar impressão Visualizar:

2 resultados com objetos digitais Exibir resultados com objetos digitais

Carta de Richard Routley para AIA

Carta, em inglês, de Richard Routley para AIA, comunicando sobre trabalhos científicos. Austrália, 30 dez. 1981. Ass.: Richard Routley. 1p. ms.

Ayda Ignez Arruda

Carta de Richard Routley para AIA

Carta, em inglês, de Richard Routley para AIA, comunicando sobre desenvolvimento de trabalhos científicos. Austrália, 26 abr. - . Ass.: Richard. 1p. ms.

Ayda Ignez Arruda

Carta de Ryszard Wójcicki para AIA

Carta, em inglês, de Ryszard Wójcicki para AIA, agradecendo resposta à correspondência anterior. S.l., 18 fev. 1982. Ass.: R. Wójcicki. 1p. dat.

Ayda Ignez Arruda

Carta de Ryszard Wójcicki para AIA

Carta, em inglês, de Ryszard Wojcick para AIA e outros, comunicando aprovação da lista de editores da Studia Logica. S.l., 23 nov. 1982. Ass.: Ryszard Wojcick. 1p. dat.

Ayda Ignez Arruda

Cartão de Natal de Sava Petrov para AIA

Cartão de Natal, em inglês, de Sava Petrov para AIA, desejando um feliz ano e agradecendo o envio das revistas Cadernos de História da Ciência e Manuscrito. S.l., 03 jan. 1983. Ass.: ( __ ). 1p. dat.

Ayda Ignez Arruda

Carta de Steve Giambrone para AIA

Carta, em inglês, de Steve Giambrone para AIA, solicitando bibliografia da versão do livro A Survey of Paraconsistent Logic. Austrália, 08 jan. - . Ass.: Steve Giambrone. 1p. dat.

Ayda Ignez Arruda

Carta de Luiz Paulo de Alcântara para AIA

Carta de Luiz Paulo de Alcântara para AIA, comunicando a realização do VI Encontro Brasileiro de Lógica e convidando-a para participar. Campinas, 27 set. 1982. Ass.: L.P. de Alcântara. 1p. dat.

Ayda Ignez Arruda

Cálculo Proposicional

Estudo de AIA, intitulado Cálculo Proposicional. S.l., S.d. S.ass. 14p. ms.

Ayda Ignez Arruda

A teoria de primeira ordem v

Estudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms.

Ayda Ignez Arruda

Cálculos Implicativos Gerais

Estudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. ms.

Ayda Ignez Arruda

Linguagem de Primeira Ordem

Estudo de AIA, intitulado Linguagem de Primeira Ordem. S.l., S.d. S.ass. 3p. ms.

Ayda Ignez Arruda

O sistema A de Ackermann

Estudo de AIA intitulado O sistema A de Ackermann. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Sobre o Sistema G1 de Gentzen

Estudo de AIA intitulado Sobre o Sistema G1 de Gentzen. S.l., S.d. S.ass. 13 p. ms.

Ayda Ignez Arruda

Transformadas no Cálculo Restrito de Predicados

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

Exibindo 241-261 de 261 resultados