Showing 261 results

Archival description
Ayda Ignez Arruda Ayda Ignez Arruda English
Print preview View:

2 results with digital objects Show results with digital objects

Carta de Richard Routley para AIA

Carta, em inglês, de Richard Routley para AIA, comunicando sobre trabalhos científicos que serão publicados. Austrália, 23 ago. 1983. Ass.: Richard. 2p. ms.

Untitled

Carta de Richard Routley para AIA

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

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.

Untitled

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.

Untitled

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.

Untitled

Cartão de Sava Petrov para AIA

Cartão, em inglês, de Sava Petrov para AIA, comunicando que seu artigo está pronto para ser impresso. S.l., 25 dez. 1981. Ass.: ( __ ). 1p. dat.

Untitled

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.

Untitled

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.

Untitled

Carta de W.W. Tait para AIA

Carta, em inglês, de W.W. Tait para AIA, recomendando e comentando o trabalho de Bruce Rose. [Chicago], 25 maio 1976. Ass.: W.W. Tait. 1p. dat. cópia.

Untitled

Mathematical Logic in Latin America

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resenha de: WESTRHENEN, S.C. van. Mededelingen van het Wiskundig Genootschap. n.2, fev. 1982. cópia.

Untitled

Mathematical Logic in Latin America

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resumo publicado no Philosopher's Index, v.15, n.3, 1982. cópia.

Untitled

O paradoxo de Curry-Moh Shaw-Kwei

ARRUDA, Ayda I.; COSTA, Newton C.A. da. O paradoxo de Curry-Moh Shaw-Kwei. Boletim da Sociedade de Matemática de São Paulo, São Paulo, v.18, n.1-2, p. 83-89. 1966.

Untitled

Sur le schèma de la sèparation

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.

Untitled

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.

Untitled

Une sémantique pour le calcul C1=. C.R

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

Mathematical Logic

ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando (eds.). Mathematical Logic. New York: Marcel Dekker, [1978].

Untitled

Carta de AIA para Diderik Batens

Carta, em inglês, de AIA a Diderik Batens, agradecendo sua carta e dizendo estar bem confiante com o tratamento e que espera em breve retornar a fazer pesquisas. Campinas, 06 out. 1982. S.ass. 1p. dat. cópia.

Untitled

Carta de AIA para Diderik Batens

Carta, em inglês, de AIA ao Prof. Diderik Batens, comunicando o final do seu tratamento e que está se sentindo bem, e agradecendo a rapidez com que foi publicado o artigo. Campinas, 29 nov. 1982. S.ass.1p. dat. cópia.

Untitled

Carta para Ruy Carlos de Camargo Vieira

Carta de AIA a Ruy Carlos de Camargo Vieira, diretor científico da Fapesp, solicitando o pagamento de separatas de artigos publicados por ela e por Newton da Costa nas Atas do IV Simpósio Latino-Americano de Lógica Matemática.

Termo de outorga

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

Termo de outorga

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.
Results 181 to 210 of 261