Mostrando 126 resultados

Descrição arquivística
Europa Português do Brasil
Visualizar impressão Visualizar:

15 resultados com objetos digitais Exibir resultados com objetos digitais

Sur un Théorème de Hilbert et Bernays

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 une hiérarchies de systèmes formels

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

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.

Ayda Ignez Arruda

Wroctaw: Polish Academy of Sciences

BULLETIN of the Section of Logic. Wroctaw: Polish Academy of Sciences - Institute of Philosophy and Sociology, v. 8, nº 3, p. 119 ? 168, out. 1979.

Ayda Ignez Arruda

Remarques sur le système NF1

COSTA, Newton C.A. da. Remarques sur le système NF1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, maio 1971.

Ayda Ignez Arruda

Une sémantique pour le calcul C1

COSTA, Newton C.A. da; ALVES, Elias H. Une sémantique pour le calcul C1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, jul. 1976.

Ayda Ignez Arruda

Vasil’év and the development of Many-valued logic

KLINE, George L. N.A. Vasil’év and the development of Many-valued logic. Contribuitions to Logic and Methodology, in honor to J.M. Bochenski, Amsterdam, p.315-326, 1965

Ayda Ignez Arruda

Lukasiewicz and the Origins of Many-Valued Logic

PATZIG, G. Aristotle, Lukasiewicz and the Origins of Many-Valued Logic. In: SUPPES, Patrick (Ed.). Logic, Methodology and Philosophy of Science IV, Amsterdam: North-Holland Publishing Company, 1973. p.921-929.

Ayda Ignez Arruda

Carta de Michel Paty

Carta de Michel Paty a NCAC agradecendo o envio do livro sobre os fundamentos da lógica, comentando sobre o mesmo e pedindo desculpas por não ter agradecido antes. [Paris], 7 de jan. de 1983. 1p. (ms)

Carta de Ernest Göbel a JCVM

Carta, em inglês, de Ernest Göbel a JCVM, desculpando-se por não responder a carta anterior, indagando sobre os trabalhos em desenvolvimento, sobre a política e a economia brasileira, relatando sua situação profissional e enviando currículo.ass. Ernset.

José Carlos Valladão de Mattos

Carta de Ernest Göbel a JCVM

Carta de Ernest Göbel a JCVM indagando sobre colegas, amigos, perguntando sobre o laboratório de JCVM e comentando sobre a sua vida. ass. Ernest.

José Carlos Valladão de Mattos

Carta de Ernest Göbel a JCVM

Carta de Ernest Göbel a JCVM informando sobre as recentes pesquisas em laser semicondutores e comentando sobre os laboratórios onde estão fazendo as pesquisas e o convidando JCVM para uma temporada de estudos no Instituto Max-Planck. ass. Ernest

José Carlos Valladão de Mattos

Joaquim da Costa Ribeiro

Joaquim da Costa Ribeiro em frente ao prédio do Museu de História Natural "Jardin des plantes"

Joaquim da Costa Ribeiro

Carta de Ernest Göbel a JCVM

Carta de Ernest Göbel a JCVM, agradecendo a correspondência anterior e informando sobre os novos trabalhos científicos a serem desenvolvidos. Ass. Ernest

José Carlos Valladão de Mattos

Carta de Ernest Göbel a JCVM

Carta de Ernest Göbel a JCVM, enviando artigo para ser submetido ao CNPq e informando sobre seus trabalhos científicos. Ass. Ernest Göbel

José Carlos Valladão de Mattos

Carta de Ernest Göbel a JCVM

Carta de Ernest Göbel a JCVM encaminhando curriculum vitae e lista de publicações para fins de obtenção de financiamento através do convênio CNPq-MPG para uma estadia no Brasil e informando sobre os seus trabalhos. Ass. Ernest Göbel

José Carlos Valladão de Mattos

Carta de Ernest Göbel a JCVM

Carta de Ernest Göbel a JCVM informando sobre as dificuldades de publicação de um trabalho e relatando sobre problemas profissionais a serem solucionados. ass. Ernest Göbel

José Carlos Valladão de Mattos

Telex de Ernest Göbel a JCVM

Telex de Ernest Göbel a JCVM informando data de chegada a São Paulo e solicitando providências quanto ao visto. Ass. Ernest Göbel

José Carlos Valladão de Mattos

Carta de Ernest Göbel a JCVM

Carta de Ernest Göbel a JCVM informando que virá ao Brasil, relatando que Albrecht Mozer estará na Laser Conference e solicitando informação sobre como chegar até Campinas. Ass. Ernest Göbel.

José Carlos Valladão de Mattos

Carta de Ernest Göbel a JCVM

Carta de Ernest Göbel a JCVM comentando sobre problemas financeiros para adquirir passagens aéreas para a sua vinda ao Brasil e pedindo sugestões para solucioná-los. Ass. Ernest

José Carlos Valladão de Mattos

Carta de Ernest Göbel a JCVM

Carta e Ernest Göbel a JCVM manifestando contentamento em saber que o CNPq concordou com sua visita ao Brasil, comunicando seus planos de trabalhos e comentando sobre a sua vida pessoal e profissional. Ass. Ernest Göbel

José Carlos Valladão de Mattos

Carta de Ernest Göbel a JCVM

Carta de Ernest Göbel a JCVM manifestando sua alegria por JCVM ter escolhido o seu laboratório ao invés do Bell Labs e indagando sobre as possibilidades de desenvolver pesquisas científicas no Brasil. Ass. ErnestGöbel

José Carlos Valladão de Mattos

Carta de Albrecht Mozer a JCVM

Carta de Albrecht Mozer a JCVM agradecendo a hospitalidade recebida quando visitou o Brasil e convidando JCVM para uma temporada em Stuttgart. Ass. Albrecht Mozer.

José Carlos Valladão de Mattos

Exibindo 91-120 de 126 resultados