Showing 49 results

Archival description
Ayda Ignez Arruda Europa
Print preview View:

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.

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

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.

Untitled

Sur le syst¨¨me NF¦Ø

ARRUDA, Ayda I. Sur le syst¨¨me NF¦Ø. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1137 ¨C 1139, 4 maio 1970.

Untitled

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.

Untitled

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.

Untitled

Circular de Paul Weingartner

Circular de Paul Weingartner, presidente do comitê organizador local, solicitando o envio de resumo de trabalho a ser apresentado em Salzburgo. Ass.: P. Weingartner

Untitled

Carta do Professor Dr. Meurers

Carta do Professor Doutor Meurers, solicitando correção e o envio de comunicação a ser apresentada no Congresso de Salzburgo. Ass.: Meurers

Untitled

Carta de Paolo Bottura para AIA

Carta, em inglês, de Paolo Bottura para AIA, informando sobre trabalho científico e solicitando cópia de artigos. Montalto Dora, 05 maio 1982. Ass.: Paolo Bottura. 1p. dat.

Untitled

Carta de Paolo Bottura para AIA

Carta, em inglês, de Paolo Bottura para AIA, expondo questões sobre um artigo de Ayda. Montalto Dora, 12 mar. 1982. Ass.: Paolo Bottura. 2p. dat.

Untitled

Carta de North Holland Pub.Co.

Carta de North Holland Pub. Co. para AIA comunicando erros nos cálculos dos royalties do livro Proceedings of the IV Latin American Symposium on Mathematical Logic e informando o envio do valor correto. Ass.: Einar Fredriksson

Carta de North Holland Pub.Co.

Carta de North Holland Pub. Co. para AIA comunicando o envio de crédito pela venda das publicações Non Classical Logics Model Theory & Computability e Proceedings of the IV Latin American Symposium on Mathematical Logic referente ao ano de 1982. Ass.: Einar Fredriksson
Results 1 to 30 of 49