Mostrando 715 resultados

Descrição arquivística
Arquivos Históricos do Centro de Lógica, Epistemologia e História da Ciência - Unicamp Ayda Ignez Arruda
Opções de pesquisa avançada
Visualizar impressão Visualizar:

Carta de recomendação

Carta, em inglês, de Roman Sikorski para Universidad Nacional del Sur, recomendando a aprovação da dissertação de doutorado de Luiz Monteiro. Warszawa, 13 mar. 1971. Ass.: R. Sikorsi. 1p. dat. cópia.

Ayda Ignez Arruda

Carta de agradecimento

Carta, em espanhol, de Rolando Chuaqui para Carlos E. Meyer, agradecendo a correspondência deste e comentando a tese de Luiz F. Monteiro. Santiago, 13 abril. 1971. Ass.: Rolando Chuaqui. 1p. dat. cópia.

Ayda Ignez Arruda

Publicação

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

Publicação

ARRUDA, Ayda I. La mathématique classiques dans Nfw. C.R. Acad. Sc. Paris, t.272, p. 1152-1153, 3 maio 1971.

Ayda Ignez Arruda

Publicação

ARRUDA, Ayda I. On Griss propositional calculus. The Journal of Symbolic Logic. s.l., v.36, n.3, p. 576/579, set. 1971. Resumo publicado em The Journal of Symbolic Logic, v.36, n.3, p.579, set. 1971.

Ayda Ignez Arruda

Publicação

CHAPIN Jr., E. William. Measures of centrality and complexity for partial propositional calculi. Arch. Match. Logik, v.15, p. 7-18, 1972.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA, intitulado Capítulo II - Teoria de conjuntos An. S.l., S.d. S.ass. 20p. ms.

Ayda Ignez Arruda

Publicação

JEROSLOW, R.G. Redundancies in the Hilbert-Bernays derivability conditions for Gödel’s second incompleteness theorem. Journal of Symbolic Logic, v.38, n.3, p.359-367, 1973.

Ayda Ignez Arruda

Resultados 51 até 60 de 715